Bossi A. More on unfold/fold transformations of normal programs:preservation of fitting's semantics / A. Bossi, S. Etalle, 1994. - 18 p. - Текст : непосредственный.
Bossi A. A bottum-up semantics for constructive negation / A. Bossi, M. Fabris, M. C. Meo, 1994. - 22 p. - Текст : непосредственный.
s-semantics approach:theory and applications / A. Bossi, M. Gabbrielli, G. Levi, M. Martelli, 1994. - 49 p. - Текст : непосредственный.
Bossi A. Simultaneous replacement in normal programs / A.Bossi,N.Cocco,S.Etalle, 1993. - 34 p. - Текст : непосредственный.
Differential logic programs:semantics and programming methodologies / A.Bossi,M.Bugliesi,M.Gabbrielli и др., 1993. - 49 p. - Текст : непосредственный.
Logic-based program synthesis and transformation : 9th intern.workshop on logic-based program synthesis and transformation, Venice, Sept.22-24, 1999: Proc. / LOPSTR'99, 2000. - VIII,312 p. p. - Текст : непосредственный.
Bossi A. Transforming acyclic programs / A.Bossi,S.Etalle, 1993. - 14 p. - Текст : непосредственный.