s-semantics approach:theory and applications / A. Bossi, M. Gabbrielli, G. Levi, M. Martelli, 1994. - 49 p. - Текст : непосредственный.
Apt K.R. A closer look at declarative interpretations / K.R.Apt,M.Gabbrielli,D.Pedreschi, 1994. - 31 p. - Текст : непосредственный.
Gabbrielli M. Programming languages: principles and paradigms / M. Gabbrielli, S. Martini, 2010 r=on-line. - Текст : электронный.
Differential logic programs:semantics and programming methodologies / A.Bossi,M.Bugliesi,M.Gabbrielli и др., 1993. - 49 p. - Текст : непосредственный.
Apt K.R. Declarative interpretations reconsidered / K.R.Apt,M.Gabbrielli, 1994. - 16 p. - Текст : непосредственный.
Etalle S. Transformations of CLP modules / S.Etalle,M.Gabbrielli, 1995. - 34 p. - Текст : непосредственный.
Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005: proceedings / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.