@misc{indiciae0e2b57f8f423,
  title = {Applying knowledge compilation techniques to model-based reasoning},
  author = {Keller, Richard M.},
  year = {1991},
  url = {https://ntrs.nasa.gov/citations/19920017642},
  note = {Source identifier: 19920017642}
}