Handbook of automated reasoning 2 Ed.: Alan Robinson ... - XXV, S. 963 - 2122 ISBN: 0444508120 026218222X Standard No.: 9780444508126 Nat. Bib. Agency Control No.: 313724327 US-OCoLC ZBM0964.00020