Global Caching for Coalgebraic Description Logics.

Rajeev Gor, Clemens Kupke, Dirk Pattinson, Lutz Schrder

Browse the full CADE paper archive.