@techreport{1993-Arts-LogicEmbedding,
  author		= "{Arts}, T. and {Dekkers}, W.",
  title			= "{Embedding first order predicate logic in second order propositional logic}",
  number		= "CSI--R9302",
  month			= "February",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1993",
  code			= "icis.93-02",
  research_group	= "icis",
  class			= "Report"
}