1. Pascale Jacobs and Dimitri Leemans, An algorithmic analysis of the intersection property, LMS J. Comput. Math. 7 (2004), 284–299 (electronic).[MR]