Logic Programs and Alternation.

Petr Stepnek, Olga Stepnkov

Browse the full ICLP paper archive.