4 works on record
Logic Programming and Nonmonotonic Reasoning
Logics in Artificial Intelligence
Logic Programming
Autoepistemic logic as a unified basis for nonmonotonic reasoning