A fixpoint approach to declarative semantics of logic programs (1989)

by P M Dung, K Kanchansut
Venue:Proceedings of North American Conference Cleveland,Ohio