Developing Logic Programs: Computing Through Normalizing.

Olga Stepnkov, Petr Stepnek

Browse the full CSL paper archive.