mitchell_scedrov_1993:
  type: chapter
  title: Notes on sconing and relators
  author:
  - Mitchell, John C.
  - Scedrov, Andre
  date: 1993
  page-range: 352-378
  url: http://dx.doi.org/10.1007/3-540-56992-8_21
  serial-number:
    doi: 10.1007/3-540-56992-8_21
    isbn: '9783540478904'
    issn: 1611-3349
  parent:
    type: book
    title: Computer Science Logic
    publisher: Springer Berlin Heidelberg