MetaPRL - A Modular Logic Environment

Б2.13.

Hickey J., Nogin A., Constable R. L., Aydemir B. E., Barzilay E., Beynkhov Y., Eaton R., Cranicz A., Kopylov A., Kreitz Ch., Krupski V. M., Lorigo L., Schmitt S., Witty C., Yu X..

MetaPRL - A Modular Logic Environment-Москва.// Moscow Computer Sience School 2004, 2004.