DECLARE: A Prototype Declarative Proof System for Higher Order Logic (1997)

by Donald Syme
Citations:10 - 1 self