"Weispfenning. Efficient decision procedures for locally finite theories II (ISSAC1988)(6s).djvu" - читать интересную книгу автора