@

A. Barr, E.A. Feigenbaum (eds.)

(1981): The handbook of Artificial Intelligence, vol. I; Chap. 2, "Search". Pitman Books (1981).
@

C.L. Chang, R.C.T. Lee

(1973): Symbolic logic and mechanical theorem proving. Academic Press (1973).
@

Copeland, Jack:

Artificial Intelligence: A Philosophical Introduction. Basil Blackwell, 1993.
@

Charniak, E. & McDermott, D.

(1985): Introduction to Artificial Intelligence. Reading, Massachusetts: Addison-Wesley P.C..
@

Dowty, Karthunen & Zwicky.

(1985): Natural Language Parsing. Cambridge, MA: Cambridge University Press.
@

D.M. Gabbay, C.J. Hogger (eds.) (19..):

Handbook of logic in artificial intelligence and logic programming. Oxford University Press (1993).
@

King, M. etal.

(1983): Parsing Natural Language. London: Academic Press Inc., LTD.
@

Neumann, J. von

(1958, 1963): The computer and the brain. New Haven: Yale University Press.
@

Nilsson, NJ

(1980): Principles of Artificial Intelligence. California, Tioga Publishing.
@

J. Pearl

(1984): Heuristics: Intelligent search strategies for computer problem solving . Addison-Wesley (1984).
@

Pylyshyn, Z.

(1981): Complexity and the study of artificial and human intelligence. In: Haugeland, J., (Ed.); 'Mind Design' (pp.67-94). Montgommery VM: Bradford Books.
@

Reiter, R.

(1980): A Logic for Default Reasoning. In: ' Artificial Intelligence', 13, 81-132.
@

Turing, Alan

(1950: Computing Machinery and Intelligence. In: 'Mind'.