Formula Databases for High-Performance Resolution/Paramodulation Systems

Authors
R.M.Butler,R.A.Overbeek
Citation
R.m.butler,r.a.overbeek, Formula Databases for High-Performance Resolution/Paramodulation Systems, Journal of automated reasoning , 12(2), 1994, pp. 139-156
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
12
Issue
2
Year of publication
1994
Pages
139 - 156
Database
ACNP
SICI code