Artificial intelligence theory and practice - Dean, Thomas; Allen, James; Aloimonos, John (Benjamin/Cummings, 1995)