Logic machine architecture: kernel functions (1982)

by E Lusk, W McCune, R Overbeek
Venue:6th Conference on Automated Deduction 70–79