Recursive unsolvability of determinacy, solvable cases of determinacy and their applications to prolog optimization (1985)

by H Sawamura, T Takeshima