@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},
     mrnumber = {674924},
     zbl = {0493.68075},
     language = {fr},
     url = {http://www.numdam.org/item/ITA_1982__16_2_129_0/}
}