53 citations · 87 across the 10 of their papers we have counts for
1 paper · 1 filter
Broes De Cat, Bart Bogaerts, Maurice Bruynooghe +2
With the technology of the time, Kowalski's seminal 1974 paper {\em Predicate Logic as a Programming Language} was a breakthrough for the use of logic in computer science. It intro…