Parallel processing for artificial intelligence (North-Holland, 1994)