--- res: bibo_authorlist: - foaf_Person: foaf_givenName: Thomas foaf_name: Place, Thomas foaf_surname: Place - foaf_Person: foaf_givenName: Lorijn foaf_name: van Rooijen, Lorijn foaf_surname: van Rooijen foaf_workInfoHomepage: http://www.librecat.org/personId=58843 - foaf_Person: foaf_givenName: Marc foaf_name: Zeitoun, Marc foaf_surname: Zeitoun bibo_doi: 10.2168/lmcs-10(3:24)2014 bibo_issue: '3' bibo_volume: 10 dct_date: 2014^xs_gYear dct_isPartOf: - http://id.crossref.org/issn/1860-5974 dct_language: eng dct_publisher: Logical Methods in Computer Science e.V.@ dct_title: On Separation by Locally Testable and Locally Threshold Testable Languages@ ...