Learning Highly Recursive Input Grammars. - Neil Kulkarni; Caroline Lemieux; Koushik Sen (ASE, 2021)