On Specification Frameworks and Deductive Synthesis of Logic Programs.

Kung-Kiu Lau, Mario Ornaghi

Browse the full LOPSTR paper archive.