Joachim Steinbach A Formalism for Representing Orderings. 264-267 1994 53 Bulletin of the EATCS db/journals/eatcs/eatcs53.html#Steinbach94