Skip to content

Tabling for transaction logic.

Paul Fodor, Michael Kifer

VenueCPPDP
Year2010
ProceedingsPPDP

Browse the full PPDP paper archive.