%0 Conference Paper %1 conf/aimsa/SebastianiV98 %A Sebastiani, Roberto %A Villafiorita, Adolfo %B AIMSA %D 1998 %E Giunchiglia, Fausto %I Springer %K dblp %P 377-388 %T SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework. %U http://dblp.uni-trier.de/db/conf/aimsa/aimsa1998.html#SebastianiV98 %V 1480 %@ 3-540-64993-X

@inproceedings{conf/aimsa/SebastianiV98, added-at = {2017-03-16T00:00:00.000+0100}, author = {Sebastiani, Roberto and Villafiorita, Adolfo}, biburl = {https://www.bibsonomy.org/bibtex/2f783590f3d228dc366a372a61e91084b/dblp}, booktitle = {AIMSA}, crossref = {conf/aimsa/1998}, editor = {Giunchiglia, Fausto}, ee = {http://dx.doi.org/10.1007/BFb0057460}, interhash = {2db8e2e171916c6d2309322479cae5e0}, intrahash = {f783590f3d228dc366a372a61e91084b}, isbn = {3-540-64993-X}, keywords = {dblp}, pages = {377-388}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-03-17T11:37:40.000+0100}, title = {SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework.}, url = {http://dblp.uni-trier.de/db/conf/aimsa/aimsa1998.html#SebastianiV98}, volume = 1480, year = 1998 }