D. Harel, A. Marron, A. Rosenfeld, M. Vardi, and G. Weiss, “Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea)”, AAAI, vol. 33, no. 01, pp. 9770-9774, Jul. 2019.