Patrick Prosser Chris Unsworth A Connectivity Constraint Using Bridges. 707-708 2006 conf/ecai/2006 ECAI db/conf/ecai/ecai2006.html#ProsserU06