Control of logic program execution based on the functional relations (1986)

by K Nakamura
Venue:In Proceedings of the Third International Conference on Logic Programming