A formal framework for synthesis and verification of logic programs.

Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini

Browse the full LOPSTR paper archive.