Jean-Michel Autebert Joffroy Beauquier Luc Boasson Michel Latteux Indécidabilité de la Condition IRS. 129-138 1982 16 ITA 2 db/journals/ita/ita16.html#AutebertBBL82