Vol-4002⫷ Vol-4003 ⫸Vol-4004
urn:nbn:de:0074-4003-0


Vol-4003/paper17⫷Vol-4003/paper18⫸Vol-4003/paper19
Francesco Di Cosmo

Verification of Coverability in Positive Interactive Datalog Programs