%0 Conference Paper %1 conf/aimsa/CheikhrouhouS98 %A Cheikhrouhou, Lassaad %A Siekmann, Jörg H. %B AIMSA %D 1998 %E Giunchiglia, Fausto %I Springer %K dblp %P 167-180 %T Planning Diagonalization Proofs. %U http://dblp.uni-trier.de/db/conf/aimsa/aimsa1998.html#CheikhrouhouS98 %V 1480 %@ 3-540-64993-X

@inproceedings{conf/aimsa/CheikhrouhouS98, added-at = {2017-05-21T00:00:00.000+0200}, author = {Cheikhrouhou, Lassaad and Siekmann, Jörg H.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a0a51a5bf709772f29593accdae050c0/dblp}, booktitle = {AIMSA}, crossref = {conf/aimsa/1998}, editor = {Giunchiglia, Fausto}, ee = {https://doi.org/10.1007/BFb0057443}, interhash = {0a09dfb4c7a5a8da0dc9f66eda7ac644}, intrahash = {a0a51a5bf709772f29593accdae050c0}, isbn = {3-540-64993-X}, keywords = {dblp}, pages = {167-180}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:35:54.000+0200}, title = {Planning Diagonalization Proofs.}, url = {http://dblp.uni-trier.de/db/conf/aimsa/aimsa1998.html#CheikhrouhouS98}, volume = 1480, year = 1998 }