Eric Butler: Automatic Generation of Procedural Knowledge Using Program Synthesis. University of Washington, USA 2019