@InProceedings{PanSattlerVardi-CADE2002,
  author = 	 {G. Pan and U. Sattler and M.~Y. Vardi},
  title = 	 {BDD-Based Decision Procedures for K},
  booktitle = 	 {Proceedings of the Conference on Automated Deduction},
   series =       {Lecture Notes in Artificial Intelligence}, 
  volume =       {2392},
  publisher = 	 {Springer Verlag},  
  year =	 2002,
  springer ={yes}
}