An Effective Bottom-Up Semantics for First-Order Linear Logic Programs.

Marco Bozzano, Giorgio Delzanno, Maurizio Martelli

Browse the full FLOPS paper archive.