%0 Journal Article %1 journals/jair/SebastianiV09 %A Sebastiani, Roberto %A Vescovi, Michele %D 2009 %J J. Artif. Intell. Res. %K dblp %P 343-389 %T Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability. %U http://dblp.uni-trier.de/db/journals/jair/jair35.html#SebastianiV09 %V 35

@article{journals/jair/SebastianiV09, added-at = {2017-06-21T00:00:00.000+0200}, author = {Sebastiani, Roberto and Vescovi, Michele}, biburl = {https://www.bibsonomy.org/bibtex/274dae296bdd1944ee504cfaf24b36f5f/dblp}, ee = {https://doi.org/10.1613/jair.2675}, interhash = {b9610fd2cbd1dc730fa53a00210ed994}, intrahash = {74dae296bdd1944ee504cfaf24b36f5f}, journal = {J. Artif. Intell. Res.}, keywords = {dblp}, pages = {343-389}, timestamp = {2017-06-22T11:36:49.000+0200}, title = {Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair35.html#SebastianiV09}, volume = 35, year = 2009 }