The use of mathematical programming to verify rule-based knowledge. - Daniel E. O'Leary; Joanne Schaffer (Ann. Oper. Res., 1996)