A Critical-Pair/Completion Based Integration Algorithm.

A. C. Norman

Browse the full ISSAC paper archive.