Stem ara$ (all stems)

2 papers:

CADE-2000-Sinz #algebra #automation #proving #theorem proving

System Description: ARA — An Automatic Theorem Prover for Relation Algebras (CS), pp. 177–182.

FME-1993-ValmariKCL #analysis #reachability

Putting Advanced Reachability Analysis Techniques Together: the “ARA” Tool (AV, JK, MC, ML), pp. 597–616.