Efficient Monadic−style Backtracking
Ralf Hinze
Institution
Institut für Informatik III‚ Universität Bonn
Month
oct
Number
IAI−TR−96−9
Year
1996
Ralf Hinze