Completely Non-Clausal Theorem Proving (1982)

by N V Murray
Venue:Artificial Intelligence