Annalisa Bossi

Bibliography

Bossi, Annalisa and Etalle, Sandro. 1994. “More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting’s Semantics’.” in Logic Programming Synthesis and Transformation, Meta-Programming in Logic: Fourth International Workshops, LOBSTR’94 andMETA’94, Pisa, Italy, edited by Laurent Fribourg and Franco Turini, pp. 311–331. Berlin: Springer.