Fixpoint semantics for logic programming a survey (2002)

by M Fitting
Venue:51. Mathematical Foundations of Programming Semantics