Modal logics, description logics and arithmetic reasoning (1999)

by H J Ohlbach, J Koehler
Venue:Artif. Intell