A Kripke/Kleene semantics for general logic programs (1985)

by M Fitting
Venue:J. Logic Programming