UEL: Unification Solver for the Description Logic ℇℒ - System Description.

Franz Baader, Julian Mendez, Barbara Morawska

Browse the full CADE paper archive.