Login / Signup

Basic Features and Development of the Critical-Pair/Completion Procedure.

Bruno Buchberger
Published in: RTA (1985)
Keyphrases