Vol-1619⫷ Vol-1620 ⫸Vol-1621
urn:nbn:de:0074-1620-0


Vol-1620/paper5⫷Vol-1620/paper6⫸Vol-1620/paper7

Translating Higher-Order Modal Logic from RuleML to TPTP