Where the really hard problems are (1991)

by Peter Cheeseman, Bob Kanefsky, William M. Taylor