Formal Aspects of Computing13428 (ISSN : 0934-5043, EISSN : 1433-299X)Published by Springer VerlagVoir les documents associés Exporter Export XML Export RDF