1. Extensions of unificationmodulo ACUI. (11th June 2020) Authors: Baader, Franz; Marantidis, Pavlos; Mottet, Antoine; Okhotin, Alexander Journal: Mathematical structures in computer science Issue: Volume 30:Number 6(2020) Page Start: 597 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗