Directions for Logic Programming (1985)

by R A Kowalski
Venue:in: Proceedings of IEEE Symposium On Logic Programming