@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 et al.},
PAGES = "1--10",
MONTH = "July",
YEAR = 1998}