Proof Plannning and Configuration

Lowe, H., Pěchouček, M., Bundy, A.

LOWE, H., M. PĚCHOUČEK, and A. BUNDY. Proof Plannning and Configuration. In: BERNSTEIN, O., ed. Proceedings of the Ninth Exhibition and Symposium on Industrial Applications of Prolog. Ninth Exhibition and Symposium on Industrial Applications of Prolog, Tokyo, 1996-10-10/1996-10-12. Tokyo: REN Associates, 1996. p. 221-228.