Books by International Seminar on Logic Databases and the Meaning of Change (1996 Schloss Dagstuhl)