TermiLog: A System for Checking Termination of Queries to Logic Programs.

Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik

Browse the full CAV paper archive.