Some parts of this report have appeared in:
Theoretical Computer Science, vol. 133, Oct. 1994
Database Programming Languages, Springer-Verlag Workshops in Computing Series, Feb. 1993
Intl. Conf. on Logic Programming, June 1993
Intl. Conf. on Temporal Logic, July 1994
and in other places, which I don't remember.
In Logics for Databases and Information Systems, Jan Chomicki, Gunter Saake (eds.), Kluwer Academic Publ.
Computational Logic 2000 (Stream on Deductive and Object-Oriented Databases)