Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs.

Kung-Kiu Lau, Mario Ornaghi

Browse the full LOPSTR paper archive.