Labelled Clauses
From MaRDI portal
Publication:3608781
DOI10.1007/978-3-540-73595-3_21zbMath1213.68572OpenAlexW2914352985MaRDI QIDQ3608781
Mooly Sagiv, Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps
Publication date: 6 March 2009
Published in: Automated Deduction – CADE-21 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73595-3_21
Related Items
Harald Ganzinger’s Legacy: Contributions to Logics and Programming, Generalized completeness for SOS resolution and its application to a new notion of relevance, Labelled splitting
Uses Software