Binary decision diagrams for first-order predicate logic

J.F. Groote, O. Tveretina

Research output: Contribution to journalArticleAcademicpeer-review

20 Citations (Scopus)
Original languageEnglish
Pages (from-to)1-22
JournalJournal of Logic and Algebraic Programming
Volume57
Issue number1-2
DOIs
Publication statusPublished - 2003

Cite this