%A Stephen Cole Kleene
%T Introduction the metamathematics
%I North Holland
%C New York
%D 1962
%P 550

%A Elliott I. Organick
%A James A. Hinds
%T Interpreting machines:
architecture and programming of the B1700/B1800 series
%S Operating and programming system series,
Computer Science Library
%I North Holland
%C New York
%D 1978
%P 315

%A M.V. Wilkes
%A R.M. Needham
%T The Cambridge CAP computer and its operating system
%S Operating and programming system series,
Computer Science Library
%I North Holland
%C New York
%D 1979
%P 165

%A Robert A. Kowalski
%T Logic for problem solving
%I North Holland
%C New York
%D 1980
%K textbook, knowledge representation, deduction, problem solving
planning, belief revision