Login / Signup

Towards Automated Termination Proofs through "Freezing".

Hongwei Xi
Published in: RTA (1998)
Keyphrases