The recursion-theoretical complexity of the semantics of predicate logic as a programming language (1982)

by Howard A Blair
Venue:Information and Control