Lassaad Cheikhrouhou, Jörg H. Siekmann. Planning Diagonalization Proofs. In Fausto Giunchiglia, editor, Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA 98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings. Volume 1480 of Lecture Notes in Computer Science, pages 167-180, Springer, 1998. [doi]
@inproceedings{CheikhrouhouS98, title = {Planning Diagonalization Proofs}, author = {Lassaad Cheikhrouhou and Jörg H. Siekmann}, year = {1998}, url = {http://link.springer.de/link/service/series/0558/bibs/1480/14800167.htm}, researchr = {https://researchr.org/publication/CheikhrouhouS98}, cites = {0}, citedby = {0}, pages = {167-180}, booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA 98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings}, editor = {Fausto Giunchiglia}, volume = {1480}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-64993-X}, }