pansattlervardi-jancl05
G. Pan, U. Sattler, M. Y. Vardi. BDD-Based Decision Procedures for the Modal Logic K. Journal of Applied Non-Classical Logics, Special Issue on Implementation of Logics, 16(1):169-208, 2006.
Contact
BibTex Reference
@article{pansattlervardi-jancl05,
Author = {Pan, G. and Sattler, U. and Y. Vardi, M.},
Title = {{BDD}-Based Decision Procedures for the Modal Logic {K}},
Journal = {Journal of Applied Non-Classical Logics, Special Issue on Implementation of Logics},
Volume = {16},
Number = {1},
Pages = {169--208},
Year = {2006}
}
EndNote Reference [help]
Get EndNote Reference (.ref)