%0 Journal Article %1 journals/jar/HorrocksP02 %A Horrocks, Ian %A Patel-Schneider, Peter F. %D 2002 %J J. Autom. Reason. %K dblp %N 2 %P 173-204 %T Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability. %U http://dblp.uni-trier.de/db/journals/jar/jar28.html#HorrocksP02 %V 28

@article{journals/jar/HorrocksP02, added-at = {2022-04-12T00:00:00.000+0200}, author = {Horrocks, Ian and Patel-Schneider, Peter F.}, biburl = {https://www.bibsonomy.org/bibtex/26316711d2bd0a38d854ec0326eb216b1/dblp}, ee = {https://www.wikidata.org/entity/Q56988904}, interhash = {8e6fb438f8cb91992bf2cd49477624a5}, intrahash = {6316711d2bd0a38d854ec0326eb216b1}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 2, pages = {173-204}, timestamp = {2024-04-09T05:03:01.000+0200}, title = {Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar28.html#HorrocksP02}, volume = 28, year = 2002 }