A fixpoint approach to declarative semantics of logic programs. Pages 604–625 of: Proc. north american conference on logic programming (naclp’89 (1989)

by Phan Minh Dung, Kanchana Kanchansut