The Use of Lemmas in the Model Elimination Procedure

Authors
O.L.Astrachan,D.W.Loveland
Citation
O.l.astrachan,d.w.loveland, The Use of Lemmas in the Model Elimination Procedure, Journal of automated reasoning , 19(1), 1997, pp. 117-141
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
19
Issue
1
Year of publication
1997
Pages
117 - 141
Database
ACNP
SICI code