David A. Randell Mark Witkowski Using Occlusion Calculi to Interpret Digital Images. 432-436 2006 conf/ecai/2006 ECAI db/conf/ecai/ecai2006.html#RandellW06