"The Automation of Reasoning with Incomplete Information: From Semantic Foundations to Efficient Computation" - читать интересную книгу автора (Torsten Schaub)