Bounded-Overhead Caching for Definite-Clause Theorem Proving

Authors
A.Segre,D.Scharstein
Citation
A.segre,d.scharstein, Bounded-Overhead Caching for Definite-Clause Theorem Proving, Journal of automated reasoning , 11(1), 1993, pp. 83-114
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
11
Issue
1
Year of publication
1993
Pages
83 - 114
Database
ACNP
SICI code