Determinacy Inference for Logic Programs

Lecture Notes in Computer Science - Germany

doi 10.1007/978-3-540-31987-0_9