1. Aït-Kaci, H.: An Introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations. In: Miller, D. (ed.) Proceedings of the 1993 International Symposium on Logic Programming, Vancouver, B.C., Canada, pp. 52–68. MIT Press, Cambridge (October 1993)
2. Boley, H., Kifer, M.: A Guide to the Basic Logic Dialect for Rule Interchange on the Web. IEEE Transactions on Knowledge and Data Engineering 22(11), 1593–1608 (2010)
3. Boley, H., Kifer, M.: RIF Basic Logic Dialect, W3C Recommendation (June 2010),
http://www.w3.org/TR/rif-bld
4. Boley, H., Kifer, M.: RIF Framework for Logic Dialects, W3C Recommendation (June 2010),
http://www.w3.org/TR/rif-fld
5. Boley, H.: Integrating Positional and Slotted Knowledge on the Semantic Web. Journal of Emerging Technologies in Web Intelligence 4(2), 343–353 (2010),
http://ojs.academypublisher.com/index.php/jetwi/article/view/0204343353