%0 Conference Paper %1 conf/lopstr/Popelinsky91 %A Popelínský, Lubos %B LOPSTR %D 1991 %E Clement, Timothy Paul %E Lau, Kung-Kiu %I Springer %K dblp %P 94-96 %T Towards Synthesis of Nearly Pure Prolog Programs (Extende Abstract). %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr91.html#Popelinsky91 %@ 0-387-19742-7

@inproceedings{conf/lopstr/Popelinsky91, added-at = {2019-06-21T00:00:00.000+0200}, author = {Popelínský, Lubos}, biburl = {https://www.bibsonomy.org/bibtex/24e5fcb59514364d8656ca1f5b1bfe613/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/1991}, editor = {Clement, Timothy Paul and Lau, Kung-Kiu}, ee = {https://doi.org/10.1007/978-1-4471-3494-7_7}, interhash = {19e16994f15f2caf6f904d0d83bd2e42}, intrahash = {4e5fcb59514364d8656ca1f5b1bfe613}, isbn = {0-387-19742-7}, keywords = {dblp}, pages = {94-96}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2019-06-22T11:38:44.000+0200}, title = {Towards Synthesis of Nearly Pure Prolog Programs (Extende Abstract).}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr91.html#Popelinsky91}, year = 1991 }