1. International Handbooks on Information Systems;G Antoniou,2009
2. Apt, K.R., Bol, R.N.: Logic programming and negation: a survey. J. Log. Program. 19(20), 9–71 (1994)
3. Artale, A., Calvanese, D., Kontchakov, R., Zakharyaschev, M.: The DL-Lite family and relations. J. Artif. Intell. Res. 36, 1–69 (2009)
4. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
5. Barklund, J.: What is a meta-variable in Prolog? In: Meta-Programming in Logic Programming, pp. 383–98. The MIT Press (1989)