@Inproceedings{EPTCS183.2,
  author    = "Antoy, Sergio and Johannsen, Jacob and Libby, Steven",
  year      = "2015",
  title     = "Needed Computations Shortcutting Needed Steps",
  editor    = "Middeldorp, Aart and Raamsdonk, Femke van",
  booktitle = "{\rm Proceedings 8th International Workshop on}
               Computing with Terms and Graphs,
               {\rm Vienna, Austria, July 13, 2014}",
  series    = "Electronic Proceedings in Theoretical Computer Science",
  volume    = "183",
  publisher = "Open Publishing Association",
  pages     = "18-32",
  doi       = "10.4204/EPTCS.183.2",
}