New trends in constraints : Joint ERCIM/Compulog net workshop, Paphos, Cyprus, Oct.25-27, 1999Selected papers / Ed. K. R. Apt, 2000. - X,338 p. p. - Текст : непосредственный.
Apt K.R. On the unification free Prolog programs / K.R.Apt,S.Etalle, 1993. - 16 p. - Текст : непосредственный.
Apt K.R. Formulas as programs / K.R.Apt,M.A.Bezem, 1998. - 26 p. - Текст : непосредственный.
Apt K.R. On the occur-check free Prolog programs / K.R.Apt,A.Pellegrini, 1992. - 36 p. - Текст : непосредственный.
Apt K.R. A new definition of SLDNF-resolution / K.R.Apt,H.C.Doets, 1992. - 12 p. - Текст : непосредственный.
Apt K.R. Verification of sequential and concurrent programs / K.R.Apt,E.-R.Olderog, 1991. - XIV,441 p. p. - Текст : непосредственный.
Apt K.R. Declarative interpretations reconsidered / K.R.Apt,M.Gabbrielli, 1994. - 16 p. - Текст : непосредственный.
Apt K.R. A declarative approach for first-order built-in's of Prolog / K.R.Apt,E.Marchiori,C.Palamidessi, 1992. - 45 p. - Текст : непосредственный.
Apt K.R. Logic programming and negation:a survey / K.R.Apt,R.N.Bol, 1994. - 62 p. - Текст : непосредственный.