WELL!: An Evaluation Procedure for All Logic Programs.

Nicole Bidoit, P. Legay

Browse the full ICDT paper archive.