SMT Solving for Functional Programming over Infinite Structures. - Bartek Klin; Michal Szynwelski (MSFP, 2016)

Learning nominal automata. - Joshua Moerman; Matteo Sammartino; Alexandra Silva 001; Bartek Klin; Michal Szynwelski (POPL, 2017)