DMCA

CTL -- A description logic with expressive concrete domains (1996)

by Gerd Kamp , Holger Wache
Citations:6 - 2 self