K. Morton, W. Hallahan, E. Shum, R. Piskac, and M. Santolucito, “Grammar Filtering for Syntax-Guided Synthesis”, AAAI, vol. 34, no. 02, pp. 1611-1618, Apr. 2020.