Marchiori E. Proving termination of logic programs with delay declarations / E. Marchiori, F. Teusink, 1996. - 17 p. - Текст : непосредственный.
Marchiori E. Proving deadlock freedom of logic programs with dynamic scheduling / E. Marchiori, F. Teusink, 1996. - 19 p. - Текст : непосредственный.
Teusink F. Three-valued completion for abductive logic programs / F.Teusink, 1994. - 32 p. - Текст : непосредственный.
Apt K.R. Comparing negation in logic programming and in prolog / K.R.Apt,F.Teusink, 1994. - 18 p. - Текст : непосредственный.
Teusink F. A characterization of stable models using a non-monotonic operator / F.Teusink, 1993. - 21 p. - Текст : непосредственный.
Teusink F. proof procedure for extended logic programs / F.Teusink, 1993. - 12 p. - Текст : непосредственный.