S. Abiteboul and V. Vianu. Datalog extensions for database queries and updates. Journal of Computer and System Sciences, 43, 62-124, 1991.
author author author author author title title title title title title title journal journal journal journal journal journal volume pages date