Parallel implementation of a class reasoner. - James Geller; Charles (yaogui) Du (J. Exp. Theor. Artif. Intell., 1991)