A cooperative logic design expert system on a multiprocessor (1990)