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