@techreport{Hin96Eff,
  title = "Efficient Monadic-style Backtracking",
  author = "Hinze, Ralf",
  year = "1996",
  institution = "Institut f{\"u}r Informatik III, Universit{\"a}t Bonn",
  month = "oct",
  number = "IAI-TR-96-9",
}