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