---
res:
  bibo_abstract:
  - to appear@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Dirk
      foaf_name: Beyer, Dirk
      foaf_surname: Beyer
  - foaf_Person:
      foaf_givenName: Marie-Christine
      foaf_name: Jakobs, Marie-Christine
      foaf_surname: Jakobs
  - foaf_Person:
      foaf_givenName: Thomas
      foaf_name: Lemberger, Thomas
      foaf_surname: Lemberger
  - foaf_Person:
      foaf_givenName: Heike
      foaf_name: Wehrheim, Heike
      foaf_surname: Wehrheim
      foaf_workInfoHomepage: http://www.librecat.org/personId=573
  dct_date: 2018^xs_gYear
  dct_language: eng
  dct_publisher: ACM@
  dct_title: Reducer-Based Construction of Conditional Verifiers@
...