Vol-3740⫷ Vol-3741 ⫸Vol-3742
urn:nbn:de:0074-3741-0


Vol-3741/paper43⫷Vol-3741/paper81⫸Vol-3741/paper30
Diego CalvaneseFrancesco Di CosmoMarco MontaliC. Aiswarya

Verification of Unary Communicating Datalog Programs