Francis Alexandre, Khaled Bsaïes, Moussa Demba. Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures. In Maurice Bruynooghe, editor, Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers. Volume 3018 of Lecture Notes in Computer Science, pages 20-33, Springer, 2003. [doi]
@inproceedings{AlexandreBD03,
title = {Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures},
author = {Francis Alexandre and Khaled Bsaïes and Moussa Demba},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3018&spage=20},
researchr = {https://researchr.org/publication/AlexandreBD03},
cites = {0},
citedby = {0},
pages = {20-33},
booktitle = {Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers},
editor = {Maurice Bruynooghe},
volume = {3018},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-22174-3},
}