Fairouz Kamareddine, François Monin
On Formalised Proofs of Termination of Recursive Functions
PPDP, 1999.
@inproceedings{PPDP-1999-KamareddineM,
author = "Fairouz Kamareddine and François Monin",
booktitle = "{Proceedings of the First International Conference on Principles and Practice of Declarative Programming}",
doi = "10.1007/10704567_2",
isbn = "3-540-66540-4",
pages = "29--46",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{On Formalised Proofs of Termination of Recursive Functions}",
volume = 1702,
year = 1999,
}