Vol-3193⫷ Vol-3194 ⫸Vol-3195
urn:nbn:de:0074-3194-0


Vol-3194/paper34⫷Vol-3194/paper35⫸Vol-3194/paper36

Reasoning in Warded Datalog+/- with Harmful Joins