@InProceedings{   10.5555/647843.736438,
  Author        = "Coquand, Catarina",
  Address       = "Berlin, Heidelberg",
  BookTitle     = "Selected Papers from the 7th Workshop on Computer Science Logic",
  date-added    = "2020-09-11 23:03:09 +0200",
  date-modified = "2020-09-11 23:03:09 +0200",
  ISBN          = "3540582770",
  numpages      = "15",
  Pages         = "91--105",
  Publisher     = "Springer-Verlag",
  Series        = "CSL '93",
  Title         = "From Semantics to Rules: A Machine Assisted Analysis",
  Year          = "1993",
  File          = "From semantics to rules- A machine assisted analysis - Coquand1994\_Chapter\_FromSemanticsToRulesAMachineAs - a - e.pdf"
}

@InProceedings{ 10.5555/647843.736438, Author = "Coquand, Catarina", Address = "Berlin, Heidelberg", BookTitle = "Selected Papers from the 7th Workshop on Computer Science Logic", date-added = "2020-09-11 23:03:09 +0200", date-modified = "2020-09-11 23:03:09 +0200", ISBN = "3540582770", numpages = "15", Pages = "91--105", Publisher = "Springer-Verlag", Series = "CSL '93", Title = "From Semantics to Rules: A Machine Assisted Analysis", Year = "1993", File = "From semantics to rules- A machine assisted analysis - Coquand1994_Chapter_FromSemanticsToRulesAMachineAs - a - e.pdf" }