Gerd Wagner
-
Tabling for non-monotonic programming
Annals of Mathematics and Artificial Intelligence
‘Classical’ Negation in Nonmonotonic Reasoning and Logic Programming
Journal of Automated Reasoning