Ginsberg, Matthew L. "The MVL theorem proving system"
(1991)
(1991)
ACM SIGART Bulletin 2(3) June 1991 Special issue on implemented knowledge representation and reasoning systems
Languages mentioned
MVL
{1993}