XTT+ Rule Design Using the ALSV(FD).

Grzegorz J. Nalepa Antoni Ligeza XTT+ Rule Design Using the ALSV(FD). 2008 RuleApps http://ceur-ws.org/Vol-428/paper3.pdf conf/ecai/2008ruleapps db/conf/ecai/ruleapps2008.html#NalepaL08