@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"
}