Построение выводов для противоречивых систем
Герман, О. В., Занько, Д. В.
Построение выводов для противоречивых систем
Труды Белорусского государственного технологического университета. Серия 6. Физико-математические науки и информатика, 2002, Вып. 10. - С. 97-102