Generalized Refocusing: From Hybrid Strategies to Abstract Machines. - Malgorzata Biernacka; Witold Charatonik; Klara Zielinska (FSCD, 2017)