%0 Journal Article
%F Kowalski79
%A Kowalski, Robert
%T Algorithm = Logic + Control
%J Communications of the ACM
%V 22
%N 7
%D 1979
%U http://www.cs.berkeley.edu/~jcondit/pl-prelim/kowalski79logiccontrol.pdf