A semantic view of the switching lemma. - Dimitris J. Kavvadias; Lina Panagopoulou (GASCom, 2018)

Resolution based algorithms for the transversal hypergraph generation problem. - Stavros S. Cosmadakis; Dimitris J. Kavvadias; Lina Panagopoulou (Theor. Comput. Sci., 2020)