"Simplification of quantifier-free formulae. JSC 1997" - читать интересную книгу автора (Dolzmann.)