@inproceedings{PrinceGhaniMcBride08,
 Author = "Rawle Prince, Neil Ghani, Conor McBride",
 Title = "{Proving Properties of Lists using Containers}",
 Booktitle = "Proc.\ of the 9th International Symposium on Functional
              and Logic Programming (FLOPS 2008)",
 Publisher = "Springer LNCS",
 Year = "2008",
}