%0 Conference Paper %1 conf/kr/GiunchigliaGST98 %A Giunchiglia, Enrico %A Giunchiglia, Fausto %A Sebastiani, Roberto %A Tacchella, Armando %B KR %D 1998 %E Cohn, Anthony G. %E Schubert, Lenhart K. %E Shapiro, Stuart C. %I Morgan Kaufmann %K dblp %P 626-635 %T More Evaluation of Decision Procedures for Modal Logics. %U http://dblp.uni-trier.de/db/conf/kr/kr98.html#GiunchigliaGST98

@inproceedings{conf/kr/GiunchigliaGST98, added-at = {2012-05-18T00:00:00.000+0200}, author = {Giunchiglia, Enrico and Giunchiglia, Fausto and Sebastiani, Roberto and Tacchella, Armando}, biburl = {https://www.bibsonomy.org/bibtex/2dc456efd56ca1bea5351cf222baee491/dblp}, booktitle = {KR}, crossref = {conf/kr/1998}, editor = {Cohn, Anthony G. and Schubert, Lenhart K. and Shapiro, Stuart C.}, interhash = {8c7ce76dbbdefeb6b9a14d7b5b6fd4b7}, intrahash = {dc456efd56ca1bea5351cf222baee491}, keywords = {dblp}, pages = {626-635}, publisher = {Morgan Kaufmann}, timestamp = {2024-04-09T23:53:44.000+0200}, title = {More Evaluation of Decision Procedures for Modal Logics.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr98.html#GiunchigliaGST98}, year = 1998 }