Enandet problem och flera varianter presenteras. Olika algoritmer och datastrukturer diskuteras. Forskning om enande uppstår inom flera områden av datavetenskap kartläggs, dessa områden inkluderar teorem bevis, logik programmering, och naturligt språk bearbetning. Avsnitten i dokumentet innehåller exempel som belyser särskilda användningsområden för enandet och de särskilda problem som uppstått. Andra ämnen som behandlas är upplösning, högre ordning logik, förekomsten check, oändliga termer, funktioner strukturer, ekvationella teorier, arv, parallella algoritmer, generalisering, lattices, och andra tillämpningar av enande. Dokumentet är avsett för läsare med allmän datavetenskap bakgrund-ingen specifik kunskap om något av ovanstående ämnen antas.
Knight REF tillhandahöll en omfattande undersökning av representationer, algoritmer och tillämpningar av enande.
Unification: a multidisciplinary survey
{'venue': 'CSUR', 'journal': None, 'mag_field_of_study': ['Computer Science']}