Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)