--- res: bibo_authorlist: - foaf_Person: foaf_givenName: Wojciech foaf_name: Czerwinski, Wojciech foaf_surname: Czerwinski - foaf_Person: foaf_givenName: Wim foaf_name: Martens, Wim foaf_surname: Martens - 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 - foaf_Person: foaf_givenName: Georg foaf_name: Zetzsche, Georg foaf_surname: Zetzsche bibo_doi: 10.23638/DMTCS-19-4-1 bibo_issue: '4' bibo_volume: 19 dct_date: 2017^xs_gYear dct_language: eng dct_title: A Characterization for Decidable Separability by Piecewise Testable Languages@ ...