@inproceedings{Haskell-2008-MitchellR,
	author        = "Neil Mitchell and Colin Runciman",
	booktitle     = "{Proceedings of the First International Symposium on Haskell}",
	doi           = "10.1145/1411286.1411293",
	isbn          = "978-1-60558-064-7",
	pages         = "49--60",
	publisher     = "{ACM}",
	title         = "{Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching}",
	year          = 2008,
}