An Implementation of Backtracking for Programming Languages (1972)

by C J Prenner, J M Spitzen, B Wegbreit
Venue:Sigplan Notices