Planning diagonalization proofs (1998)

by L Cheikhrouhou, J Siekmann
Venue:Proceedings of 8th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA’98