@InProceedings{LORIA-1997-BGR-RTA,
 author       = {Denis Bechet and Philippe de Groote and
                 Christian Retor\'e},
 title        = {A complete axiomatisation of the inclusion of
                 series-parallel partial orders},
 booktitle    = {Rewriting Techniques and Applications,
                 8th International Conference, RTA-97,
                 Sitges, Spain, June 2--5, 1997,
                 Proceedings},
 editor       = {Hubert Comon},
 series       = {Lecture Notes in Computer Science (LNCS)},
 volume       = {1232},
 pages        = {230--240},
 publisher    = {Springer-Verlag},
 year         = 1997,
 ISBN         = {978-3-540-62950-4},
 DOI          = {10.1007/3-540-62950-5}
}