Logical Foundation of Artificial Intelligence (0)

by M Genesereth, N Nilsson