Skip to main content

Efficient Monadic−style Backtracking

Ralf Hinze

Institution
Institut für Informatik III‚ Universität Bonn
Month
oct
Number
IAI−TR−96−9
Year
1996