Competing for the AC-Unification Race

Authors
A.Boudet
Citation
A.boudet, Competing for the AC-Unification Race, Journal of automated reasoning , 11(2), 1993, pp. 185-212
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
11
Issue
2
Year of publication
1993
Pages
185 - 212
Database
ACNP
SICI code