@misc{indiciae89296fca0622,
  title = {Synthesizing Customized Planners from Specifications},
  author = {B. Srivastava and S. Kambhampati},
  year = {1998},
  url = {https://arxiv.org/abs/cs/9803101},
  note = {Source identifier: cs/9803101}
}