A term-graph clausal logic: completeness and incompleteness results ★
scientific article