Login / Signup

Building in equational theories into the connection method.

Uwe Petermann
Published in: FAIR (1991)
Keyphrases