%0 Journal Article %1 journals/jancl/GiunchigliaGST00 %A Giunchiglia, Enrico %A Giunchiglia, Fausto %A Sebastiani, Roberto %A Tacchella, Armando %D 2000 %J J. Appl. Non Class. Logics %K dblp %N 2 %P 145-172 %T SAT vs. translation based decision procedures for modal logics: a comparative evaluation. %U http://dblp.uni-trier.de/db/journals/jancl/jancl10.html#GiunchigliaGST00 %V 10

@article{journals/jancl/GiunchigliaGST00, added-at = {2022-10-02T00:00:00.000+0200}, author = {Giunchiglia, Enrico and Giunchiglia, Fausto and Sebastiani, Roberto and Tacchella, Armando}, biburl = {https://www.bibsonomy.org/bibtex/23b79bec5846469214ebaa6c9de74e17b/dblp}, ee = {https://doi.org/10.1080/11663081.2000.10510994}, interhash = {03ea4458a6d88461ab83d6556c62e3a6}, intrahash = {3b79bec5846469214ebaa6c9de74e17b}, journal = {J. Appl. Non Class. Logics}, keywords = {dblp}, number = 2, pages = {145-172}, timestamp = {2024-04-09T00:40:13.000+0200}, title = {SAT vs. translation based decision procedures for modal logics: a comparative evaluation.}, url = {http://dblp.uni-trier.de/db/journals/jancl/jancl10.html#GiunchigliaGST00}, volume = 10, year = 2000 }