On Termination of Binary CLP Programs.

Alexander Serebrenik, Frdric Mesnard

Browse the full LOPSTR paper archive.