Solving problems by searching
		Chapter 3 addendum (Bidirectional search)