Outermost ground termination

Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner. Outermost ground termination. Electronic Notes in Theoretical Computer Science, 71:188-207, 2002. [doi]

Abstract

Abstract is missing.