"Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, ... Jefferso " - читать интересную книгу автора (Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov)