---
res:
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Christoph
      foaf_name: Kuznik, Christoph
      foaf_surname: Kuznik
  - foaf_Person:
      foaf_givenName: Wolfgang
      foaf_name: Müller, Wolfgang
      foaf_surname: Müller
      foaf_workInfoHomepage: http://www.librecat.org/personId=16243
  dct_date: 2014^xs_gYear
  dct_language: eng
  dct_title: 'Verific-MM: Systematized Verification Metrics Generation with UCIS for
    Improved Automation on Verification Closure@'
...