DMCA

Automating recursive Definitions and Termination Proofs in Higher-Order Logic (2009)

by Alexander Krauss
Citations:13 - 2 self