Planning diagonalization proofs (1998)

by L Cheikhrouhou, J Siekmann
Venue:In Proceedings of 8th International Conference on Arti Intelligence: Methodology, Systems, Applications (AIMSA'98), LNAI, Sozopol