Alejandro Pauly Markus Schneider Topological Reasoning for Identifying a Complete Set of Topological Predicates between Vague Spatial Objects. 731-736 2006 conf/flairs/2006 FLAIRS Conference db/conf/flairs/flairs2006.html#PaulyS06