---
res:
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Marco
      foaf_name: Platzner, Marco
      foaf_surname: Platzner
      foaf_workInfoHomepage: http://www.librecat.org/personId=398
  - foaf_Person:
      foaf_givenName: Giovanni
      foaf_name: De Micheli, Giovanni
      foaf_surname: De Micheli
  bibo_doi: 10.1007/bfb0055234
  dct_date: 1998^xs_gYear
  dct_isPartOf:
  - http://id.crossref.org/issn/0302-9743
  - http://id.crossref.org/issn/1611-3349
  - http://id.crossref.org/issn/9783540649489
  - http://id.crossref.org/issn/9783540680666
  dct_language: eng
  dct_publisher: Springer @
  dct_title: Acceleration of satisfiability algorithms by reconfigurable hardware@
...