Vladimir P. Gerdt, Denis A. Yanovich. Experimental Analysis of Involutive Criteria. In Andreas Dolzmann, Andreas Seidl, Thomas Sturm, editors, Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning. pages 105-109, Books on Demand, 2005.
Abstract is missing.