A maximal-literal unit strategy for horn clauses
- Nachum Dershowitz*
*Corresponding author for this work
- University of Illinois at Urbana-Champaign
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
13
Scopus
citations