@INPROCEEDINGS{MPB:PSM-CADE1998:LeviCommut,
AUTHOR = "Maria Paola Bonacina",
TITLE = "Mechanical proofs of the {L}evi commutator problem",
BOOKTITLE = "Notes of the Workshop on Problem Solving Methodologies with
Automated Deduction,
Fifteenth International Conference on Automated Deduction (CADE)",
EDITOR = {Peter Baumgartner et al.},
PAGES = "1--10",
MONTH = "July",
YEAR = 1998}