1. Casey, E.: Handbook of Digital Forensics and Investigation. Elsevier, California (2009)
2. Casey, E.: Digital Evidence and Computer Crime: Forensic Science, Computers, and the Internet. Elsevier, London (2011).
books.google.com
3. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Proceedings of the 5th International Conference and Symposium on Logic Programming, pp. 1070–1080. MIT Press (1988)
4. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9, 365–385 (1991)
5. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)