@misc{indiciae0484d69149f0,
  title = {A Multi-Encoding Approach for LTL Symbolic Satisfiability Checking},
  author = {Rozier, Kristin Y. and Vardi, Moshe Y.},
  year = {2011},
  url = {https://ntrs.nasa.gov/citations/20110014393},
  note = {Source identifier: 20110014393}
}