Integrating a General Search Agent into an Imperative Programming Language. - James Smith; Chris Henderson; Ajay Bansal (AIKE, 2021)

A Generalized Search Construct for Imperative Languages to Facilitate Declarative Programming. - James Smith; Chris Henderson; Ajay Bansal (Int. J. Semantic Comput., 2022)