Algorithm = Logic + Control (1979)

by R A Kowalski
Venue:Communication of the ACM