Finite unfolding revisited (part II): Focusing on subterms (1994)

by B Martens
Venue:Compulog II, D 8.2.2.b, Departement Computerwetenschappen