AdjudiPro® 2.0. - David Williams; Bradley C. Simons; Joe Connolly (AAAI/IAAI, Vol. 2, 1996)