Lubos Popelínsky
Towards Synthesis of Nearly Pure Prolog Programs
LOPSTR, 1991.
@inproceedings{LOPSTR-1991-Popelinsky, author = "Lubos Popelínsky", booktitle = "{Proceedings of the First International Workshop on Logic Program Synthesis and Transformation}", isbn = "['3-540-19742-7', '0-387-19742-7']", pages = "94--96", publisher = "{Springer-Verlag}", series = "{Workshops in Computing}", title = "{Towards Synthesis of Nearly Pure Prolog Programs}", year = 1991, }