Indécidabilité de la condition IRSJean-Michel Autebert, Joffroy Beauquier, Luc Boasson and Michel LatteuxRAIRO. Inform. théor., 16 2 (1982) 129-138DOI: https://doi.org/10.1051/ita/1982160201291
