DMCA

Proving Termination using Recursive Path Orders and SAT solving (2007)

by Peter Schneider-Kamp , René Thiemann , Elena Annov , Michael Codish , Jürgen Giesl
Venue:IN PROC. FROCOS ’07, LNAI 4720
Citations:17 - 8 self