Proving Termination for Logic Programs by the Query-Mapping Pairs Approach (2004)

by Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
Venue:In Program Development in Computational Logic