Deductive Synthesis of Programs for Query Answering.

Daniele Nardi, Riccardo Rosati

Browse the full LOPSTR paper archive.