Decision Procedures

An Algorithmic Point of View

Authors:

ISBN: 978-3-662-50496-3 (Print) 978-3-662-50497-0 (Online)