Apt K.R. A closer look at declarative interpretations / K.R.Apt,M.Gabbrielli,D.Pedreschi, 1994. - 31 p. - Текст : непосредственный.
Apt K.R. Proving termination of general Prolog programs / K.R.Apt,D.Pedreschi, 1991. - 23 p. - Текст : непосредственный.
Apt K.R. Modular termination proofs for logic and pure Prolog programs / K.R.Apt,D.Pedreschi, 1993. - 35 p. - Текст : непосредственный.
Corciulo L. Datalog with non-deterministic choice computes NDB-PTIME / L.Corciulo,F.Giannotti,D.Pedreschi, 1993. - 16 p. - Текст : непосредственный.
Apt K.R. Studies in pure Prolog: termination / K.R.Apt,D.Pedreschi, 1990. - 25 p. - Текст : непосредственный.