Deductive synthesis of programs for query answering

Daniele Nardi, Riccardo Rosati.
In Proceedings of the International Workshop on Logic Program Synthesis and Transformation (LOPSTR'92), pages 15-29, Springer, 1992.

Bibtex entry:

@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},
}