@article{article, title = {{Automating algebraic methods in Isabelle}}, url = {{}}, year = {{2011}}, month = {{1}}, author = {{Guttmann W and Struth G and Weber T}}, doi = {{10.1007/978-3-642-24559-6_41}}, volume = {{6991 LNCS}}, journal = {{Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}}, pages = {{617-632}}, note = {{Accessed on 2025/09/06}}}