--- res: bibo_authorlist: - foaf_Person: foaf_givenName: Josh foaf_name: Berdine,Josh foaf_surname: Berdine - foaf_Person: foaf_givenName: Cristiano foaf_name: Calcagno,Cristiano foaf_surname: Calcagno - foaf_Person: foaf_givenName: Byron foaf_name: Cook,Byron foaf_surname: Cook - foaf_Person: foaf_givenName: Dino foaf_name: Distefano,Dino foaf_surname: Distefano - foaf_Person: foaf_givenName: Peter foaf_name: O'Hearn,Peter W. foaf_surname: O'Hearn - 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: Hongseok foaf_name: Yang,Hongseok foaf_surname: Yang bibo_doi: '1553' dct_date: 2007^xs_gYear dct_publisher: Springer@ dct_title: Shape Analysis for Composite Data Structures@ ...