Preface
Termination of String Rewriting Proved Automatically
Termination of Floating-Point Computations
Verifying Termination and Reduction Properties about Higher-Order Logic Programs