Stefan Brass;Jürgen Dix;Teodor C. Przymusinski
Univ. of Pittsburgh, Pittsburgh, PA;Univ. of Maryland, College Park;Univ. of California, Riverside
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Super logic programs
ACM Transactions on Computational Logic (TOCL)