Basta, Stefano; Flesca, Sergio; Greco, Sergio Functional queries in datalog. (English) Zbl 1032.68070 New Generation Comput. 20, No. 4, 339-371 (2002). MSC: 68P15 × Cite Format Result Cite Review PDF Full Text: DOI
Gergatsoulis, Manolis; Rondogiannis, Panos; Panayiotopoulos, Themis Temporal disjunctive logic programming. (English) Zbl 0973.68028 New Generation Comput. 19, No. 1, 87-100 (2001). MSC: 68N17 68N15 × Cite Format Result Cite Review PDF Full Text: DOI