Advances in Reasoning Principles for Contextual Equivalence and Termination (2007)

by Nina Bohr