<https://hal.archives-ouvertes.fr/hal-01775190#id>	<http://purl.org/dc/elements/1.1/date>	"2018" .
<https://hal.archives-ouvertes.fr/hal-01775190#id>	<http://purl.org/dc/terms/bibliographicCitation>	"Genet Thomas, Gillard Tristan, Haudebourg Timoth\u00E9e, Cong S\u00E9bastien. Extending Timbuk to Verify Functional Programs. WRLA 2018 - 12th International Worshop on Rewriting Logic and its Applications, Apr 2018, Thessalonique, Greece. pp.153-163, &#x27E8;10.1007/978-3-319-99840-4_9&#x27E9;" .
<https://hal.archives-ouvertes.fr/hal-01775190#id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/254842577/id> .
<https://hal.archives-ouvertes.fr/hal-01775190#id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/140601007/id> .