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