MetaPRL - A Modular Logical Environment. - Jason Hickey; Aleksey Nogin; Robert L. Constable; Brian E. Aydemir; Eli Barzilay; Yegor Bryukhov; Richard Eaton; Adam Granicz; Alexei Kopylov; Christoph Kreitz; Vladimir Krupski; Lori Lorigo; et al. (TPHOLs, 2003)

A computational approach to reflective meta-reasoning about languages with bindings. - Aleksey Nogin; Alexei Kopylov; Xin Yu 013; Jason Hickey (MERLIN, 2005)

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. - Jason Hickey; Aleksey Nogin; Xin Yu 013; Alexei Kopylov (ICFP, 2006)

Practical Reflection for Sequent Logics. - Jason Hickey; Aleksey Nogin; Xin Yu 013; Alexei Kopylov (LFMTP@FLoC, 2006)

Reflection and Its Application to Mechanized MetaReasoning About Programming Languages. - Xin Yu 013 (2007)