Magali Duboisset Francois Pinet Michel Schneider P-OCLcbm: a language to specify topological constraints on composite regions: definition and comparison with trcr. 373-378 2007 conf/rcis/2007 RCIS db/conf/rcis/rcis2007.html#DuboissetPS07