Orders, algorithms, and applications International Workshop ORDAL '94, Lyon, France, July 1994 : proceedings Lecture notes in computer science - Bouchitte, Vincent; Morvan, Michel (Springer-Verlag, 1994)