@inproceedings{8ee41241f2fe4394bb8dce445498a505,
title = "TermiLog: A system for checking termination of queries to logic programs",
abstract = "TermiLog is a system implemented in SICStus Prolog for automatically checking termination of queries to logic programs. Given a program and query, the system either answers that the query terminates or that it cannot prove termination. The system can handle automatically 82% of the 120 programs we tested it on.",
author = "N. Lindenstrauss and Y. Sagiv and A. Serebrenik",
year = "1997",
doi = "10.1007/3-540-63166-6_44",
language = "English",
isbn = "978-3-540-63166-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "444--447",
editor = "O. Grumberg",
booktitle = "Proceedings of the 9th International Conference on Computer Aided Verification (CAV '97), 22-25 June 1997, Haifa, Israel",
address = "Germany",
}