Vol-953⫷ Vol-954 ⫸Vol-955
urn:nbn:de:0074-954-0


None⫷None⫸None

Reasoning on Procedural Programs using Description Logics with Concrete Domains