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