Automated Practical Reasoning

Algebraic Approaches

Editors:

ISBN: 978-3-211-82600-3 (Print) 978-3-7091-6604-8 (Online)