Harmonische Analysis bei Aussagenkalkülen. Roman Liedl (1970) Archiv für mathematische Logik und Grundlagenforschung
How Berger, Felzenbaum and Fraenkel revolutionized Covering Systems the same way that George Boole revolutionized Logic. Zeilberger, Doron (2001) The Electronic Journal of Combinatorics [electronic only]
How to generalize logic programming to arbitrary set of clauses. Prešić, Slaviša B. (1997) Publications de l'Institut Mathématique. Nouvelle Série