<https://hal.archives-ouvertes.fr/hal-00772502#id>	<http://purl.org/dc/elements/1.1/date>	"2009" .
<https://hal.archives-ouvertes.fr/hal-00772502#id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/201647249/id> .
<https://hal.archives-ouvertes.fr/hal-00772502#id>	<http://purl.org/dc/terms/bibliographicCitation>	"Baelde David . On the Proof Theory of Regular Fixed Points . Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Jul 2009, Oslo, Norway" .
<https://hal.archives-ouvertes.fr/hal-00772502#id>	<http://purl.org/dc/terms/title>	"On the Proof Theory of Regular Fixed Points" .