Decision Procedures

An Algorithmic Point of View

Authors:

ISBN: 978-3-540-74104-6 (Print) 978-3-540-74105-3 (Online)