@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}