Daniele Nardi, Riccardo Rosati.
In Proceedings of the International Workshop on Logic Program Synthesis and Transformation (LOPSTR'92), pages 15-29, Springer, 1992.
@String{LOPSTR-92 = "Proceedings of the International Workshop on Logic Program Synthesis and Transformation (LOPSTR'92)"} @String{SV = "Springer"} @Inproceedings{NaRo92, author = {Nardi, Daniele and Rosati, Riccardo}, title = {Deductive synthesis of programs for query answering}, booktitle = LOPSTR-92, pages = {15--29} , publisher = SV, year = {1992}, }