The propositional formula checker HeerHugo

J.F. Groote, J.P. Warners

Research output: Contribution to journalArticleAcademicpeer-review

27 Citations (Scopus)
Original languageEnglish
Pages (from-to)101-125
Number of pages24
JournalJournal of Automated Reasoning
Volume24
Issue number1-2
DOIs
Publication statusPublished - 2000

Cite this