@misc{indiciae90d65d2f4485,
  title = {Using Decision Procedures to Build Domain-Specific Deductive Synthesis Systems},
  author = {VanBaalen, Jeffrey and Roach, Steven and Lau, Sonie},
  year = {1998},
  url = {https://ntrs.nasa.gov/citations/20020061258},
  note = {Source identifier: 20020061258}
}