John Z. Zhang, Tsunehiko Kameda: A Linear-Time Algorithm for Finding All Door Locations That Make a Room Searchable. TAMC 2008: 502-513