pfenning_schrmann_1999:
  type: chapter
  title: 'System Description: Twelf — A Meta-Logical Framework for Deductive Systems'
  author:
  - Pfenning, Frank
  - Schürmann, Carsten
  date: 1999
  page-range: 202-206
  url: http://dx.doi.org/10.1007/3-540-48660-7_14
  serial-number:
    doi: 10.1007/3-540-48660-7_14
    isbn: '9783540486602'
    issn: 0302-9743
  parent:
    type: book
    title: Automated Deduction — CADE-16
    publisher: Springer Berlin Heidelberg