A Decade of Research Advances in Logic-Based Program Development
Lecture Notes in Computer Science > Program Development in Computational Logic > Termination > 376-431
Lecture Notes in Computer Science > Program Development in Computational Logic > Termination > 432-452
Lecture Notes in Computer Science > Program Development in Computational Logic > Termination > 453-498