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 Stephan Schmitt Carl Witty Xin Yu MetaPRL - A Modular Logical Environment. 287-303 http://dx.doi.org/10.1007/10930755_19 2003 conf/tphol/2003 TPHOLs db/conf/tphol/tphol2003.html#HickeyNCABBEGKKKLSWY03