Algorithm = logic + control (1979)

by R A Kowalski
Venue:Commun. ACM