Orders, algorithms, and applications International Workshop ORDAL '94, Lyon, France, July 4-8, 1994 : proceedings / - Bouchitté, Vincent.; Morvan, Michel. (Lecture notes in computer science ;)