--- res: bibo_authorlist: - foaf_Person: foaf_givenName: Charles foaf_name: Bouillaguet,Charles foaf_surname: Bouillaguet - foaf_Person: foaf_givenName: Viktor foaf_name: Kuncak, Viktor foaf_surname: Kuncak - foaf_Person: foaf_givenName: Thomas foaf_name: Thomas Wies foaf_surname: Wies foaf_workInfoHomepage: http://www.librecat.org/personId=447BFB88-F248-11E8-B48F-1D18A9856A87 - foaf_Person: foaf_givenName: Karen foaf_name: Zee,Karen foaf_surname: Zee - foaf_Person: foaf_givenName: Martin foaf_name: Rinard,Martin C. foaf_surname: Rinard bibo_doi: '1552' dct_date: 2007^xs_gYear dct_publisher: Springer@ dct_title: Using First-Order Theorem Provers in the Jahob Data Structure Verification System@ ...