KROENING, D. DECISION PROCEDURES : ALGORITHMIC POINT OF VIEW - VERLIN Springer 2008 - xvi+304p.,24x15Cms ISBN: 3540741046 Dewey Class. No.: 621.38195 K93