"Logic Programming Synthesis and Transformation, 5 conf., LOPSTR'95" - читать интересную книгу автора (Maurizio Proietti)