---
res:
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Michaela
      foaf_name: Huhn, Michaela
      foaf_surname: Huhn
  - foaf_Person:
      foaf_givenName: Peter
      foaf_name: Niebert, Peter
      foaf_surname: Niebert
  - foaf_Person:
      foaf_givenName: Heike
      foaf_name: Wehrheim, Heike
      foaf_surname: Wehrheim
      foaf_workInfoHomepage: http://www.librecat.org/personId=573
  bibo_doi: 10.1007/978-3-540-49382-2_26
  dct_date: 1998^xs_gYear
  dct_title: Partial Order Reductions for Bisimulation Checking@
...
