A Family of Dynamic Description Logics for Representing and Reasoning About Actions Liang ChangZhongzhi ShiLingzhong Zhao OriginalPaper 15 December 2010 Pages: 1 - 52
SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs Michael CodishJürgen GieslRené Thiemann OriginalPaper 15 December 2010 Pages: 53 - 93
Proof Pearl: Regular Expression Equivalence and Relation Algebra Alexander KraussTobias Nipkow OriginalPaper 05 March 2011 Pages: 95 - 106
“Handbook of Practical Logic and Automated Reasoning,” by John R. Harrison, Cambridge University Press, 2009 Freek Wiedijk BookReview Open access 03 May 2012 Pages: 107 - 109