Kiesl, Benjamin: Blocked Clauses in First-Order Logic. . In: LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Jg.46, S.3148
Inhalt