Henryk Rybinski On First-Order-Logic Databases. 325-349 TODS12/P325.PDF 1987 12 ACM Trans. Database Syst. 3 db/journals/tods/tods12.html#Rybinski87 http://doi.acm.org/10.1145/27629.27630 db/journals/tods/Rybinski87.html conf/pods/AbiteboulB84 ... ... conf/vldb/BeeriBG78 conf/vldb/BrzezinskiGRS84 conf/sigmod/BunemanF79 conf/mfcs/Cadiou76 conf/popl/CasanovaB79 ... journals/tods/Chen76 ... journals/cacm/Codd70 persons/Codd71a journals/jacm/Paola73 conf/vldb/Gallaire81 journals/csur/GallaireMN84 journals/is/GettaR84 journals/jacm/HullY84 ... journals/jacm/Jacobs82 conf/sigmod/KuperV85 journals/jacm/Lien82 conf/adbt/Minker77 ... journals/is/Munz78 conf/sigmod/Nicolas78 journals/is/Pawlak81 ... ... ... ... journals/tods/Shipman81 ...