Preface
Model-Theoretic Methods in Combined Constraint Satisfiability
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case
On the Complexity of Deduction Modulo Leaf Permutative Equations
MPTP – Motivation, Implementation, First Experiments
Reachability Analysis over Term Rewriting Systems