@misc{indiciaeefdfa6b408a8,
  title = {Empirical results on scheduling and dynamic backtracking},
  author = {Boddy, Mark S. and Goldman, Robert P.},
  year = {1994},
  url = {https://ntrs.nasa.gov/citations/19950017341},
  note = {Source identifier: 19950017341}
}