@misc{indiciae97b48c1963e9,
  title = {Conditional Tree Reduction in the ADAPT Framework},
  author = {Jankovsky, Zachary K. and Denman, Matthew R. and Aldemir, Tunc},
  year = {2016},
  url = {https://www.osti.gov/biblio/23042655},
  note = {Source identifier: 23042655}
}