A Completion Procedure for Finitely Presented Groups That Is Based on Word Cycles*
A General Setting for Flexibly Combining and Augmenting Decision Procedures
The IJCAR ATP System Competition
Autarkic Computations in Formal Proofs