Unification in Boolean Rings

Research output: Contribution to journalArticlepeer-review

15 Citations (Scopus)
Original languageEnglish
Pages (from-to)381-396
JournalJournal of Automated Reasoning
Volume4
Publication statusPublished - 1988

Cite this