K.R. Apt, A. Schaerf. "Search and Imperative Programming"

[POPL 1997] (1997) [ACM SIGACT-SIGPLAN] 24th Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '97), Paris, France  

Languages mentioned Alma {1997} Imperative Constraint Programming Language