Pragmatics in the Synthesis of Logic Programs.

David Stuart Robertson Jaume Agustí-Cullell Pragmatics in the Synthesis of Logic Programs. 41-60 http://link.springer.de/link/service/series/0558/bibs/1559/15590041.htm 1998 conf/lopstr/1998 LOPSTR db/conf/lopstr/lopstr98.html#RobertsonA98