Masayuki Fujita John K. Slaney Frank Bennett Automatic Generation of Some Results in Finite Algebra. 52-59 1993 IJCAI db/conf/ijcai/ijcai93.html#FujitaSB93