and the Moufang identity problem (1996)

by Otter
Venue:J. Automated Reasoning