"Reasoning and Programming: Analogies between Logic and Computation."

Johan van Benthem (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics