Adding new rules to an LCF-style logic implementation: preliminary report (1993)

by Konrad Slind
Venue:Higher Order Logic Theorem Proving and its Applications, pages 549 -- 559. North-Holland