Stronger Reduction Criteria for Local First Search. - Marcos E. Kurbán; Peter Niebert; Hongyang Qu 001; Walter Vogler (ICTAC, 2006)

A Modal-Logic Based Graph Abstraction. - Jörg Bauer 001; Iovka Boneva; Marcos E. Kurbán; Arend Rensink (ICGT, 2008)

Graph Abstraction for a Modal Logic. - Iovka Boneva; Jörg Kreiker; Marcos E. Kurbán; Arend Rensink (Bull. EATCS, 2009)