Automated Practical Reasoning
Algebraic Approaches
With a Foreword by Jim Cunningham
Springer-Verlag Wien New York