%0 Conference Paper %1 conf/ki/Cheikhrouhou97 %A Cheikhrouhou, Lassaad %B KI %D 1997 %E Brewka, Gerhard %E Habel, Christopher %E Nebel, Bernhard %I Springer %K dblp %P 377-380 %T Planning Diagonalization Proofs. %U http://dblp.uni-trier.de/db/conf/ki/ki97.html#Cheikhrouhou97 %V 1303 %@ 3-540-63493-2

@inproceedings{conf/ki/Cheikhrouhou97, added-at = {2017-05-23T00:00:00.000+0200}, author = {Cheikhrouhou, Lassaad}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e7838eba4f99c4dd3de4c690149a4b80/dblp}, booktitle = {KI}, crossref = {conf/ki/1997}, editor = {Brewka, Gerhard and Habel, Christopher and Nebel, Bernhard}, ee = {https://doi.org/10.1007/3540634932_31}, interhash = {af9321951a31d08935ba9d450d780b4b}, intrahash = {e7838eba4f99c4dd3de4c690149a4b80}, isbn = {3-540-63493-2}, keywords = {dblp}, pages = {377-380}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:44:02.000+0200}, title = {Planning Diagonalization Proofs.}, url = {http://dblp.uni-trier.de/db/conf/ki/ki97.html#Cheikhrouhou97}, volume = 1303, year = 1997 }