Morton, K.; Hallahan, W.; Shum, E.; Piskac, R.; Santolucito, M. Grammar Filtering for Syntax-Guided Synthesis. AAAI 2020, 34, 1611-1618.