conf/pods/89 François Bry Logic Programming as Constructivism: A Formalization and its Application to Databases. 34-50 1989 PODS db/conf/pods/pods89.html#Bry89 http://doi.acm.org/10.1145/73721.73725 db/conf/pods/Bry89.html journals/anthology/cd1-3:PODS89/P034.PDF journals/anthology/dvd1:text/1-3/PODS89/P034.PDF ... journals/jlp/BalbinPRM91 conf/pods/BancilhonMSU86 ... ... journals/jlp/Bojadziev86 conf/pods/BeeriR87 ... ... conf/mfdbs/Bry89 ... journals/jlp/ChandraH85 ... ... ... ... conf/slp/DeransartF87 journals/jacm/Paola69a journals/jacm/DavisP60 conf/stoc/Fagin80 ... journals/jlp/Fitting85a ... journals/jlp/Gabbay85 conf/elp/Gabbay89 journals/jlp/GabbayR84 journals/jlp/GabbayS86 ... journals/jacm/Huet80 ... ... ... conf/iclp/KempT88 ... ... books/sp/Lloyd84 journals/jlp/LloydT86 journals/acta/Nicolas82 ... ... ... conf/pods/Przymusinski89 ... journals/ngc/RohmerLK86 ... conf/iclp/SekiI88 ... conf/iclp/TamakiS86 ... journals/jacm/EmdenK76 ... conf/pods/GelderT87 conf/iclp/Vieille87 ...