DMCA

SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs

by Michael Codish , Jürgen Giesl , Peter Schneider-Kamp , René Thiemann
Citations:8 - 2 self