Detecting Determinacy in Prolog Programs.

Andy King, Lunjin Lu, Samir Genaim

Browse the full ICLP paper archive.