Logic for Artificial Intelligence: What You Always Wanted to Know about Rigid E-Unification

Authors
A.Degtyarev,A.Voronkov
Citation
A.degtyarev,a.voronkov, Logic for Artificial Intelligence: What You Always Wanted to Know about Rigid E-Unification, Journal of automated reasoning , 20(1/2), 1998, pp. 47-80
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
20
Issue
1/2
Year of publication
1998
Pages
47 - 80
Database
ACNP
SICI code