@misc {IOPORT.70860491,
    author       = {Serebrenik, Alexander and Mesnard, Fr\'ed\'eric},
    title        = {On termination of binary CLP programs},
    howpublished = {LOPSTR, 231-244 (2004).},
    year         = {2004},
    doi          = {10.1007/11506676_15},
    identifier   = {70860491},
}