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

by F Bry
Venue:in 8th ACM Symp. Principles Database Syst. (PODS