The nuprl open logical environment (2000)

by Stuart Allen, Robert Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo
Venue:the International Conference on Automated Deduction, volume 1831 of Lecture Notes in Artificial Intelligence