Fast Algorithm for Parallel Rules
The fast generalized modus ponens algorithm for n parallel rules that we present here, is based on the computation of two parallel rules:
IRIT-UPS
