D. German, Y. Manabe, and K. Inoue. Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, page 437--446. (April 2010)
N. Helft, K. Inoue, and D. Poole. Proc.\ 12th International Joint Conf.\ on Artificial Intelligence (IJCAI-91), page 426--431. Sydney, Australia, (August 1991)