Ligeza A. Logical foundations for rule-based systems / A. Ligeza, 2006 r=on-line. - Текст : электронный.