4 citations · 4 across the 1 of their papers we have counts for
1 paper · 2 filters
Matt Kaufmann
We present a tool that automates termination proofs for recursive definitions by mining existing termination theorems.