Pragmatics in the Synthesis of Logic Programs.

David Stuart Robertson, Jaume Agust-Cullell

Browse the full LOPSTR paper archive.