@conference{AM:FSCD:16,
 author    = {Martin Avanzini and
                  Georg Moser},
 title     = {Complexity of Acyclic Term Graph Rewriting},
 year      = {2016},
 booktitle = {1st International Conference on Formal Structures for Computation
                  and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
 series    = {LIPIcs},
 volume    = {52},
 pages     = {10:1--10:18},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 doi       = {10.4230/LIPICS.FSCD.2016.10},
 keywords  = {conference}
}