Knuth-Bendixの完備化手続きとその応用
J-STAGE
www.jstage.jst.go.jp