Orders, algorithms, and applications International Workshop ORDAL '94, Lyon, France, July 4 - 8, 1994 ; proceedings (Springer, 1994)