1. Abiteboul, S., Vianu, V.: Datalog extensions for database queries and updates. J. Comput. Syst. Sci. 43(1), 62–124 (1991)
2. Cabibbo, L.: Expressiveness of semipositive logic programs with value invention. In: Logic in Databases, pp. 457–474 (1996)
3. Hull, R., Yoshikawa, M.: ILOG: declarative creation and manipulation of object identifiers. In: McLeod, D., Sacks-Davis, R., Schek, H.J. (eds.) Proceedings of the 16th International Conference on Very Large Data Bases, pp. 455–468, 13–16 August 1990. Brisbane, Queensland, Australia, Morgan Kaufmann (1990)
4. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer set programming. In: International Joint Conference on Artificial Intelligence (IJCAI) 2005, pp. 90–96. Edinburgh, UK (2005)
5. Heymans, S., Nieuwenborgh, D.V., Vermeir, D.: Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs. In: Proceedings of the Second European Semantic Web Conference, ESWC 2005. Lecture Notes in Computer Science, vol. 3532, pp. 392–407 (2005)