Home

P.__Buongarzoni



Logical and computational properties of the description logic MIRTL