@article{Jouannaud198257,
    Author = {Jouannaud, Jean-Pierre and Lescanne, Pierre},
    File = {On multiset orderings - Jouannaud, Lescanne (1) (0) - a - a - t.pdf},
    ISSN = {0020-0190},
    Journal = {Information Processing Letters},
    Keywords = {well-founded ordering},
    Number = {2},
    Pages = {57 - 63},
    Title = {On multiset orderings},
    URL = {http://www.sciencedirect.com/science/article/pii/0020019082901077},
    Volume = {15},
    Year = {1982},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0020019082901077},
    bdsk-url-2 = {http://dx.doi.org/10.1016/0020-0190(82)90107-7},
    date-added = {2014-01-29 12:29:57 +0000},
    date-modified = {2014-01-29 12:29:57 +0000},
    file-2 = {On multiset orderings - Jouannaud, Lescanne (0) (0) - a - a - t.pdf},
    doi = {10.1016/0020-0190(82)90107-7}
}

@article{Jouannaud198257, Author = {Jouannaud, Jean-Pierre and Lescanne, Pierre}, File = {On multiset orderings - Jouannaud, Lescanne (1) (0) - a - a - t.pdf}, ISSN = {0020-0190}, Journal = {Information Processing Letters}, Keywords = {well-founded ordering}, Number = {2}, Pages = {57 - 63}, Title = {On multiset orderings}, URL = {http://www.sciencedirect.com/science/article/pii/0020019082901077}, Volume = {15}, Year = {1982}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0020019082901077}, bdsk-url-2 = {http://dx.doi.org/10.1016/0020-0190(82)90107-7}, date-added = {2014-01-29 12:29:57 +0000}, date-modified = {2014-01-29 12:29:57 +0000}, file-2 = {On multiset orderings - Jouannaud, Lescanne (0) (0) - a - a - t.pdf}, doi = {10.1016/0020-0190(82)90107-7} }