DMCA

Implementing Tactics and Tacticals in a Higher-Order Logic Programming Language (1993)

by Amy Felty
Venue:Journal of Automated Reasoning
Citations:68 - 15 self