Normal Forms and the Complexity of Computations of Logic Programs.

Vt Ochozka, Olga Stepnkov, Petr Stepnek

Browse the full CSL paper archive.