Modeling datalog fact assertion and retraction in linear logic.

Edmund Soon Lee Lam, Iliano Cervesato

Browse the full PPDP paper archive.