A truncation technique for clausal analytic tableaux

DOI10.1016/0020-0190(92)90036-UzbMath0772.68083OpenAlexW2045990240WikidataQ57711688 ScholiaQ57711688MaRDI QIDQ1198076

Jo Coldwell, Graham Wrightson

Publication date: 16 January 1993

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(92)90036-u

zbMATH Keywords

resolutionanalytic tableaux

Mathematics Subject Classification ID

Cites Work

• Unnamed Item

This page was built for publication: A truncation technique for clausal analytic tableaux