СПб.: Невский Диалект, 2001. — 128 с. — ISBN: 5-7940-0080-5.
Моделирование и анализ рассуждений на естественном языке. Объединение в логической модели не только методов логического вывода, но также методов проверки совместимости исходных посылок, формирования гипотез и получения индуктивных умозаключений.