Workshop on Geometric Reasoning (1986 Keble College, Oxford)