Jochen Pfalzgraf
and Dongming Wang (eds.)



Automated
Practical Reasoning

Algebraic Approaches



With a Foreword by Jim Cunningham














Springer-Verlag Wien New York