Kung-Kiu Lau, Mario Ornaghi
A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs
LOPSTR, 1993.
@inproceedings{LOPSTR-1993-LauO, author = "Kung-Kiu Lau and Mario Ornaghi", booktitle = "{Proceedings of the Third International Workshop on Logic Program Synthesis and Transformation}", isbn = "['3-540-19864-4', '0-387-19864-4']", pages = "10--31", publisher = "{Springer-Verlag}", series = "{Workshops in Computing}", title = "{A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs}", year = 1993, }