par Hinnion, Roland ;Libert, Thierry
Référence Notre Dame journal of formal logic, 49, 1, page (39-53)
Publication Publié, 2008
Article révisé par les pairs