Occlusion tracking using logic models. - J. H. von Brecht; Sheshadri R. Thiruvenkadam; Tony F. Chan (SIP, 2007)