On Automating Inductive and Non-Inductive Termination Methods (1999)

Cached

Download Links

by Fairouz Kamareddine , François Monin
Citations:4 - 2 self