@inproceedings{Mali98,
  title = {Refinement-Based Planning as Satisfiability},
  author = {Amol Dattatraya Mali},
  year = {1998},
  tags = {rule-based, refinement},
  researchr = {https://researchr.org/publication/Mali98},
  cites = {0},
  citedby = {0},
  pages = {1194},
  booktitle = {AAAI/IAAI},
}