On multiset orderings. (1982)

by Jean-Pierre Jouannaud, Pierre Lescanne
Venue:Information Processing Letters,