1. Andreasen, T., Christiansen, H.: Flexible query-answering systems modelled in metalogic programming. In: ECAI 1996 Workshop Knowledge Representation Meets Databases, pp. 1–7 (1996)
2. Balduccini, M.: Computing answer sets of cr-prolog programs. Technical report, Texas Tech. University (2006)
3. Bylander, T., Allemang, D., Tanner, M.C., Josephson, J.R.: The computational complexity of abduction. Artif. Intell. 49, 25–60 (1991)
4. Lecture Notes in Artificial Intelligence;M. Denecker,2002
5. Gaasterland, T., Godfrey, P., Minker, J.: Relaxation as a platform for cooperative answering. J. Intell. Inf. Syst. 1(3/4), 293–321 (1992)