Lower Bounds for the Lengths of Refutations
暂无分享,去创建一个
[1] Hai-Ping Ko,et al. Substitution and Refutation Revisited , 1991, ICLP.
[2] J. Van Leeuwen,et al. Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .
[3] Krzysztof R. Apt,et al. Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[4] Michael J. Maher,et al. Unification Revisited , 1988, Foundations of Deductive Databases and Logic Programming..