@misc{indiciae9ed15bc3cec0,
  title = {Algorithm Optimally Orders Forward-Chaining Inference Rules},
  author = {James, Mark},
  year = {2008},
  url = {https://ntrs.nasa.gov/citations/20090020603},
  note = {Source identifier: 20090020603}
}