publication venue for Representations of Discrete Interval Orders and Semi-Orders.. 30:161-168. 1994 An Equivalence Notion for Path Expressions Systems.. 21:283-295. 1985