An Algorithmic Analysis of the Intersection Property. - Pascale Jacobs; Dimitri Leemans (LMS J. Comput. Math., 2004)