Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax. - Alberto Momigliano; Alan J. Martin; Amy P. Felty (LFMTP@CADE, 2007)

An Improved Implementation and Abstract Interface for Hybrid - Alan J. Martin; Amy P. Felty (LFMTP, 2011)