%0 Journal Article %1 journals/ipl/Bijlsma91 %A Bijlsma, A. %D 1991 %J Inf. Process. Lett. %K dblp %N 6 %P 325-332 %T Derivation of Logic Programs by Functional Methods. %U http://dblp.uni-trier.de/db/journals/ipl/ipl39.html#Bijlsma91 %V 39

@article{journals/ipl/Bijlsma91, added-at = {2022-04-28T00:00:00.000+0200}, author = {Bijlsma, A.}, biburl = {https://www.bibsonomy.org/bibtex/243607ca1867e1effda2dc68f0e7fbe57/dblp}, ee = {https://doi.org/10.1016/0020-0190(91)90006-4}, interhash = {45da0f1065ed0eaed035fa669c81709a}, intrahash = {43607ca1867e1effda2dc68f0e7fbe57}, journal = {Inf. Process. Lett.}, keywords = {dblp}, number = 6, pages = {325-332}, timestamp = {2024-04-08T12:08:23.000+0200}, title = {Derivation of Logic Programs by Functional Methods.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl39.html#Bijlsma91}, volume = 39, year = 1991 }