Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
Outermost ground termination
WRLA, 2002.
@article{WRLA-2002-FissoreGK, author = "Olivier Fissore and Isabelle Gnaedig and Hélène Kirchner", doi = "10.1016/S1571-0661(05)82535-6", journal = "{Electronic Notes in Theoretical Computer Science}", pages = "188--207", title = "{Outermost ground termination}", volume = 71, year = 2002, }