@techreport{2005-van-ProofSupport, author = "{Kesteren}, Ron van and {Eekelen}, M.C.J.D. van and {Mol}, Maarten de", title = "{Proof Support for General Type Classes}", number = "ICIS--R05001", month = "January", institution = "Radboud University Nijmegen", organization = "Radboud University Nijmegen", year = "2005", code = "icis.ICIS-R05001", research_group = "icis", class = "Report" }