Orders, Algorithms and Applications International Workshop ORDAL '94, Lyon, France, July 4-8, 1994. Proceedings | EKB DL