OTTER and Moufang Identity Problem

Authors
L.Wos
Citation
L.wos, OTTER and Moufang Identity Problem, Journal of automated reasoning , 17(2), 1996, pp. 215-257
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
17
Issue
2
Year of publication
1996
Pages
215 - 257
Database
ACNP
SICI code