@conference{245201,
  author = {David Kuhn and Dylan Yaga and Raghu Kacker and Yu Lei and Chung},
  title = {Pseudo-exhaustive Verification of Rule Based Systems},
  year = {2018},
  month = {2018-07-01},
  publisher = {30th International Conference on Software Engineering and Knowledge Engineering (SEKE 2018), San Francisco, CA},
  doi = {https://doi.org/10.18293/SEKE2018-072},
  language = {en},
}