@unpublished{202,
  author = {Jan Christiansen and Sandra Dylus},
  title = {Proving Inequational Propositions about Haskell Programs in Coq},
  note = {Poster session at the International Conference on the Art, Science, and Engineering of Programming},
}