Krzysztof R. Apt Andrea Schaerf Search and Imperative Programming. 67-79 1997 POPL db/conf/popl/popl97.html#AptS97 http://doi.acm.org/10.1145/263699.263709