Connecting Abstract Description Systems.

Oliver Kutz, Frank Wolter, Michael Zakharyaschev

Browse the full KR paper archive.