Ground Term Confluence in Parametric Conditional Equational Specifications.

Harald Ganzinger

Browse the full STACS paper archive.