@inproceedings{AM:FSCD:16,
 author    = "M. Avanzini and G. Moser",
 title     = {{Complexity of Acyclic Term Graph Rewriting}},
 booktitle = "Proceedings of the \nth{1} International Conference on Formal Structures for Computation and Deduction",
 series    = "Leibnitz International Proceedings in Informatics",
 volume    = "52",
 year      = 2016,
 pages     = "10:1--10:18",
 publisher = "Leibnitz Zentrum für Informatik",
}