@article{kautz1996encoding,
  title={Encoding plans in propositional logic},
  author={Kautz, Henry and McAllester, David and Selman, Bart},
  journal={KR},
  volume={96},
  pages={374--384},
  year={1996}
}