@article{ITA_1982__16_2_129_0, author = {Autebert, Jean-Michel and Beauquier, Joffroy and Boasson, Luc and Latteux, Michel}, title = {Ind\'ecidabilit\'e de la condition {IRS}}, journal = {RAIRO. Informatique th\'eorique}, pages = {129--138}, publisher = {EDP-Sciences}, volume = {16}, number = {2}, year = {1982}, zbl = {0493.68075}, mrnumber = {674924}, language = {fr}, url = {http://www.numdam.org/item/ITA_1982__16_2_129_0/} }