Automata-Based Termination Proofs

Radu Iosif, Adam Rogalewicz. Automata-Based Termination Proofs. Computers and Artificial Intelligence, 32(4):739-775, 2013. [doi]

Abstract

Abstract is missing.