Recursive Unsolvability of Determinacy, Solvable Cases of Determinacy and Their Applications to Prolog Optimization (1985)

by H Sawamura, T Takeshima
Venue:in: Proceedings of the Symposium on Logic Programming