Vol-1377⫷ Vol-1378 ⫸Vol-1379
urn:nbn:de:0074-1378-0


Vol-1378/paper27⫷Vol-1378/paper28⫸Vol-1378/paper29
Marco CalauttiAndreas PierisGeorg Gottlob

Chase Termination for Guarded Existential Rules