TY - JOUR T1 - Automating algebraic methods in Isabelle JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) PY - 2011/01/01 AU - Guttmann W AU - Struth G AU - Weber T ED - DO - DOI: 10.1007/978-3-642-24559-6_41 VL - 6991 LNCS SP - 617 EP - 632 Y2 - 2025/03/14 ER -