"Pragmatics in the Synthesis of Logic Programs."

David Stuart Robertson, Jaume Agustí-Cullell (1998)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics