Boolean unification — The story so far

^*Corresponding author for this work

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
Issue number	3-4
DOIs	https://doi.org/10.1016/S0747-7171(89)80013-6
Publication status	Published - 1989

Access to Document

@article{717386462de24c5aa9c4763caa842e15,

title = "Boolean unification — The story so far",

author = "Urusula Martin and Tobias Nipkow",

year = "1989",

doi = "10.1016/S0747-7171(89)80013-6",

language = "English",

volume = "7",

pages = "275--293",

journal = "Journal of Symbolic Computation",

issn = "0747-7171",

publisher = "Academic Press",

number = "3-4",

}

TY - JOUR

T1 - Boolean unification — The story so far

AU - Martin, Urusula

AU - Nipkow, Tobias

PY - 1989

Y1 - 1989

UR - http://www.scopus.com/inward/record.url?scp=84947811668&partnerID=8YFLogxK

U2 - 10.1016/S0747-7171(89)80013-6

DO - 10.1016/S0747-7171(89)80013-6

M3 - Article

AN - SCOPUS:84947811668

SN - 0747-7171

VL - 7

SP - 275

EP - 293

JO - Journal of Symbolic Computation

JF - Journal of Symbolic Computation

IS - 3-4

ER -