(1)
Harel, D.; Marron, A.; Rosenfeld, A.; Vardi, M.; Weiss, G. Labor Division With Movable Walls: Composing Executable Specifications With Machine Learning and Search (Blue Sky Idea). AAAI 2019, 33, 9770-9774.