Automated Theorem Proving in Loop Theory (2008)

by J Phillips, D Stanovsky
Venue:Proceedings of the CICM Workshop on Empirically Successful Automated Reasoning in Mathematics, number 378