@article{DBLP:journals/jfp/Bird01a,
  title = "Maximum Marking Problems",
  author = "Richard S. Bird",
  year = "2001",
  journal = "Journal of Functional Programming",
  number = "4",
  pages = "411-424",
  url = "http://www.cs.ox.ac.uk/people/richard.bird/online/Bird2001Maximum.pdf",
  volume = "11",
  doi = "10.1017/S0956796801004038",
}