Login / Signup

A Critical-Pair/Completion Based Integration Algorithm.

A. C. Norman
Published in: ISSAC (1990)
Keyphrases