Non-termination inference for constraint logic programs - PAYET, Etienne; MESNARD, Fred (SAS 2004 : static analysis (Verona, 26-28 August 2004), 2004)
text