On the Termination of Clause Graph Resolution

Authors
C.A.Johnson
Citation
C.a.johnson, On the Termination of Clause Graph Resolution, Journal of automated reasoning , 13(1), 1994, pp. 83-116
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
13
Issue
1
Year of publication
1994
Pages
83 - 116
Database
ACNP
SICI code