%0 Journal Article %1 journals/jar/GiunchigliaTG02 %A Giunchiglia, Enrico %A Tacchella, Armando %A Giunchiglia, Fausto %D 2002 %J J. Autom. Reasoning %K dblp %N 2 %P 143-171 %T SAT-Based Decision Procedures for Classical Modal Logics. %U http://dblp.uni-trier.de/db/journals/jar/jar28.html#GiunchigliaTG02 %V 28

@article{journals/jar/GiunchigliaTG02, added-at = {2011-05-19T00:00:00.000+0200}, author = {Giunchiglia, Enrico and Tacchella, Armando and Giunchiglia, Fausto}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2710360de3faa3b004b27a809a79f594a/dblp}, ee = {http://dx.doi.org/10.1023/A:1015071400913}, interhash = {dd6d1a68aa00aa60252555ef59f8384f}, intrahash = {710360de3faa3b004b27a809a79f594a}, journal = {J. Autom. Reasoning}, keywords = {dblp}, number = 2, pages = {143-171}, timestamp = {2016-02-02T09:57:39.000+0100}, title = {SAT-Based Decision Procedures for Classical Modal Logics.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar28.html#GiunchigliaTG02}, volume = 28, year = 2002 }