Canonical Solutions to Recursive Equations and Completeness of Equational Axiomatisations.

Xinxin Liu, Tingting Yu

Browse the full CONCUR paper archive.