Skip to content

Unification for completely commutative theories.

Daniel Murphy

Year1992
ProceedingsSAC

Browse the full SAC paper archive.