1. Ankolekar, Seo and Sycara, Investigating Semantic Knowledge for Test Learning, Proceedings of Semantic Web Workshop in associated with 26th Annual International ACM SIGIR Conference, 2003.
2. Apt K.R. and Doests K., A New Definition of SLDNF-Resolution, Journal of Logic Programming, Vol 18 1994, pp. 177 - 190.
3. Bozzano M., Delzanno G. and Martelli M., An Effective Fixpoint Semantics for Liner Logic Programs, Journal of Theory and Practices of Logic Programming, Vol 2, Part 1, 2002, pp.85 - 122.
4. Brewka G. and Eiter T., Preferred Answer Sets for Extended Logic Programs, Proceedings of Sixth International Conference on Principles of Knowledge Representation and Reasoning, 1998, pp.86-97.
5. Connolly, D., Harmelen F., Horrocks, I., McGuinness D., Stein L., DAML+OIL Reference Description, http://www.w3.org/TR/daml+oil-reference , 2001.