@inproceedings{626,
  author = {Shoham Ben-David and Richard Trefler and Grant Weddell},
  title = {Bounded Model Checking With Description Logic Reasoning},
  year = {2007},
  journal = {Bounded Model Checking With Description Logic Reasoning},
  doi = {10.1007/978-3-540-73099-6_7},
}