The Structure and Interpretation of Computer Programs touches upon this. Somewhere in chapter 4, they implement a nondeterministic interpreter with CPS and then use it to (among other things) find all possible parses of sentences such as these.