Logic programming as constructivism: A formalization and its application to databases (1989)

by Francois Bry
Venue:In Proc. of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'89