M.Fitting (1985): A Kripke-Kleene semantics for General Logic Programs
Title:
A Kripke-Kleene semantics for General Logic Programs
Author(s):
M.Fitting
Year:
1985
Journal:
Logic Programming
Volume:
2
Pages:
295-312
Concepts
