LOGLISP: An Alternative to Prolog (1982)

by J A Robinson, E E Sibert
Venue:in Ma-hine Intelligence 10