Charles J. Prenner, Jay M. Spitzen, Ben Wegbreit. An implementation of backtracking for programming languages. In John J. Donovan, Rosemary Shields, editors, Proceedings of the ACM annual conference, ACM 1972, 1972, Volume 2. pages 763-771, ACM, 1972. [doi]
Abstract is missing.