@INPROCEEDINGS{MPB:PSM-CADE1998:LeviCommut, AUTHOR = "Maria Paola Bonacina", TITLE = "Mechanical proofs of the {L}evi commutator problem", BOOKTITLE = "Proceedings of the Workshop on Problem Solving Methodologies with Automated Deduction", EDITOR = "Peter Baumgartner and Ulrich Furbach and Michael Kohlhase and William W. McCune and Wolfgang Reif and Mark E. Stickel and Tom{\`a}s Uribe", PAGES = "1--10", MONTH = "July", YEAR = 1998}