Vol-1878⫷ Vol-1879 ⫸Vol-1880
urn:nbn:de:0074-1879-0


Vol-1879/paper6⫷Vol-1879/paper20⫸Vol-1879/paper40

Metric Temporal Description Logics with Interval-Rigid Names (Extended Abstract)