A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs.

Kung-Kiu Lau, Mario Ornaghi

Browse the full LOPSTR paper archive.