The Hot List Strategy

Citation
L.wos,g.w.pieper, The Hot List Strategy, Journal of automated reasoning , 22(1), 1999, pp. 1-44
ISSN journal
01687433
Volume
22
Issue
1
Year of publication
1999
Pages
1 - 44
Database
ACNP
SICI code