Arithmetic for Parallel Linear Recursive Query Evaluation in Deductive Databases. - Jerome Robinson; Shutian Lin (PARLE, 1993)