Ramsey vs. Lexicographic Termination Proving.

Byron Cook, Abigail See, Florian Zuleger

Browse the full TACAS paper archive.