Boolean Unification: the Story so Far

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	275-293
Number of pages	19
Journal	Journal of Symbolic Computation
Volume	7
Publication status	Published - Mar 1989

Handle.net

@article{e443152285f1483fbe88461539a78e83,

title = "Boolean Unification: the Story so Far",

author = "Martin, \{Ursula Hilda Mary\} and T Nipkow",

year = "1989",

month = mar,

language = "English",

volume = "7",

pages = "275--293",

journal = "Journal of Symbolic Computation",

issn = "0747-7171",

publisher = "Academic Press/Elsevier ",

}