Vol-1192⫷ Vol-1193 ⫸Vol-1194
urn:nbn:de:0074-1193-0


Vol-1193/paper_42⫷Vol-1193/paper_56⫸Vol-1193/paper_10
Vojtech SvátekJán KlukaMartin HomolaMiroslav Vacura

Typed Higher-Order Variant of SROIQ - Why Not?