DMCA

Memoization for Unary Logic Programming: Characterizing PTIME

by Clément Aubert , Marc Bagnol , Thomas Seiller