1. Downey, P.J., Sethi, R., Tarjan, R.E.: Variations on the common subexpression problem. J. ACM 27(4), 758–771 (1980)
2. Fujita, M., Slaney, J., Bennett, F.: Automatic generation of some results in finite algebra. In: Proc. 13th IJCAI, pp. 52–57 (1993)
3. LNAI;R. Hasegawa,1992
4. Kim, S., Zhang, H.: ModGen: Theorem proving by model generation. In: Proc. 12th AAAI, pp. 162–167 (1994)
5. Kumar, V.: Algorithms for constraint satisfaction problems: A survey. AI Magazine 13(1), 32–44 (1992)