Coloring Terms to Control Ewuational Reasoning

Authors
D.Hutter
Citation
D.hutter, Coloring Terms to Control Ewuational Reasoning, Journal of automated reasoning , 18(3), 1997, pp. 399-442
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
18
Issue
3
Year of publication
1997
Pages
399 - 442
Database
ACNP
SICI code