E-Connections of Abstract Description Systems (2004)

by O Kutz, C Lutz, F Wolter, M Zakharyaschev
Venue:Artificial Intelligence