Paul Libbrecht Cyrille Desmoulins Christian Mercat Colette Laborde Michael Dietrich Maxim Hendriks Cross-Curriculum Search for Intergeo. 520-535 2008 AISC/MKM/Calculemus http://dx.doi.org/10.1007/978-3-540-85110-3_42 conf/aisc/2008 db/conf/aisc/aisc2008.html#LibbrechtDMLDH08