Programming with full first-order logic. Machine Intelligence 10 (1982)

by K A Bowen