MetaPRL - A Modular Logical Environment (2003)

by J Hickey, A Nogin, R L Constable, B E Aydemir, E Barzilay, Y Bryukhov, R Eaton, A Granicz, A Kopylov, C Kreitz, V N Krupski, L Lorigo, S Schmitt, C Witty, X Yu