@techreport{1991-vanBakel-RewritingSystems,
  author		= "{van Bakel}, S.J. and {Smetsers}, J.E.W. and {Brock}, S.",
  title			= "{Type assignment in Left Linaear Applicative Term Rewriting Systems}",
  number		= "CSI--R9122",
  month			= "September",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1991",
  code			= "icis.91-22",
  research_group	= "icis",
  class			= "Report"
}