Jean Goubault-Larrecq. “Logic Wins!”.
Proceedings of the 13th Asian Computing Science Conference (ASIAN'09), volume 5913 of Lecture Notes in Computer Science, Seoul, Korea, December 2009. Springer., pp.1-16, 2009,
⟨10.1007/978-3-642-10622-4_1⟩.
⟨hal-03195566⟩