Login / Signup

Complete Equational Unification Based on an Extension of the Knuth-Bendix Completion Procedure.

Akihiko OhsugaKô Sakai
Published in: IWWERT (1990)
Keyphrases