Authors: M.Kurihara

Citation: M.kurihara, Completion for Multiple Reduction Orderings, Journal of automated reasoning , 23(1), 1999, pp. 25-42