Determinacy Inference for Logic Programs.

Lunjin Lu, Andy King

Browse the full ESOP paper archive.