Skip to content

Unification Under One-Sided Distributivity with a Multiplicative Unit.

Manfred Schmidt-Schau

VenueBLPAR
Year1993
ProceedingsLPAR

Browse the full LPAR paper archive.