Backchain Interation: Towards a Practical Inference Method That Is Simple Enough to Be Proved Terminating, Sound, and Complete

Authors
A.Walker
Citation
A.walker, Backchain Interation: Towards a Practical Inference Method That Is Simple Enough to Be Proved Terminating, Sound, and Complete, Journal of automated reasoning , 11(1), 1993, pp. 1-22
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
11
Issue
1
Year of publication
1993
Pages
1 - 22
Database
ACNP
SICI code