Order Logic Theorem Proving and Its (1995)

by Higher
Venue:Applications, Lecture Notes in Computer Science