Gassanenko,. A Single-Stack Implementation of Backtracking for Forth. SP 2002, 1, 211-223.