MetaPRL - A Modular Logical Environment.
Jason HickeyAleksey NoginRobert L. ConstableBrian E. AydemirEli BarzilayYegor BryukhovRichard EatonAdam GraniczAlexei KopylovChristoph KreitzVladimir KrupskiLori LorigoStephan SchmittCarl WittyXin YuPublished in: TPHOLs (2003)