publications:
- title: "Recurrence with affine level mappings is P-time decidable for CLP(R)"
  author:
  - name: "Frédéric Mesnard"
    link: "http://personnel.univ-reunion.fr/fred/"
  - name: "Alexander Serebrenik"
    link: "http://www.win.tue.nl/~aserebre/"
  year: "2008"
  doi: "http://dx.doi.org/10.1017/S1471068407003122"
  links:
    doi: "http://dx.doi.org/10.1017/S1471068407003122"
  researchr: "https://researchr.org/publication/MesnardS08"
  cites: 0
  citedby: 0
  journal: "tplp"
  volume: "8"
  number: "1"
  pages: "111-119"
  kind: "article"
  key: "MesnardS08"
- title: "On Termination of Binary CLP Programs"
  author:
  - name: "Alexander Serebrenik"
    link: "http://www.win.tue.nl/~aserebre/"
  - name: "Frédéric Mesnard"
    link: "http://personnel.univ-reunion.fr/fred/"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11506676_15"
  links:
    doi: "http://dx.doi.org/10.1007/11506676_15"
  tags:
  - "termination"
  researchr: "https://researchr.org/publication/SerebrenikM04"
  cites: 0
  citedby: 0
  pages: "231-244"
  booktitle: "LOPSTR"
  kind: "inproceedings"
  key: "SerebrenikM04"
- title: "Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003"
  year: "2003"
  tags:
  - "meta programming"
  - "logic programming"
  - "programming"
  - "logic"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/lpe%3A2003"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003"
  conference: "lpe"
  editor:
  - name: "Frédéric Mesnard"
    link: "http://personnel.univ-reunion.fr/fred/"
  - name: "Alexander Serebrenik"
    link: "http://www.win.tue.nl/~aserebre/"
  volume: "CW371"
  series: "Report"
  publisher: "Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium)"
  kind: "proceedings"
  key: "lpe:2003"