Grzegorz J. Nalepa Antoni Ligeza Prolog-Based Analysis of Tabular Rule-Based Systems with XTT Approach. 426-431 2006 conf/flairs/2006 FLAIRS Conference db/conf/flairs/flairs2006.html#NalepaL06