Journal of Automated Reasoning

“Handbook of Practical Logic and Automated Reasoning,” by John R. Harrison, Cambridge University Press, 2009
A Family of Dynamic Description Logics for Representing and Reasoning About Actions
Proof Pearl: Regular Expression Equivalence and Relation Algebra
SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs