MATH  N.J. Nilsson. Problem-solving methods in artificial intelligence. McGraw-Hill, New York, 0000.  N.J. Nilsson. Principles of artificial intelligence. Springer, Berlin, 0000.CrossRefMATH  C.H. Papadimitriou. Computational complexity