@misc{W2160645305,
  author = {Nils J. Nilsson},
  title = {Problem-Solving Methods in Artificial Intelligence},
  year = {1971}
}