The MVL theorem proving system
Matthew L. Ginsberg · ACM SIGART Bulletin · 1991
The MVL theorem-proving system is an implementation of theoretical work currently under way at Stanford University. Theoretical progress made there is regularly included in MVL in order to ensure that the ideas developed theoretically can be tested experimentally as well.