Unification et disunification. Théories et applications (1988)

by H Comon