@book{Nilsson80,
  author	= {Nilson, Nils J.},
  year		= {1980},
  title		= {Principles of Artificial Intelligence},
  publisher	= {Tioga Publishing Company},
  address	= {Palo Alto, Ca.}
}