Theoretical Computer ScienceVolume 120, Issue 1, 8 November 1993, Pages 157-168NoteCut formulas in propositional logicAuthor links open overlay panelWenhui ZhangShow moreShareCitehttps://doi.org/10.1016/0304-3975(93)90249-SGet rights and contentUnder an Elsevier user licenseopen archivePrevious article in issueNext article in issueRecommended articlesCited by (0)Copyright © 1993 Published by Elsevier B.V.