A complete axiomatisation of the inclusion of series-parallel orders (1997)

by Denis Bechet, Philippe de Groote, Christian Retoré
Venue:Rewriting Techniques and Applications, RTA ’97, volume 1232 of Lecture Notes in Computer Science