Parosh Aziz Abdulla et al.: Parameterized Tree Systems. (2008)conf/forte/AbdullaHDHR0810.1007/978-3-540-68855-6_5Parameterized Tree Systems.5Parosh Aziz Abdulla1Noomene Ben Henda2Giorgio Delzanno3Frédéric Haziza4Ahmed Rezine569-83FORTEFORTE20082008provenance information for RDF data of dblp record 'conf/forte/AbdullaHDHR08'2018-06-26T14:10:59+0200