1. Lecture Notes in Computer Science;R. Angles,2008
2. Lecture Notes in Artificial Intelligence;S. Brass,2000
3. Brass, S.: Implementation alternatives for bottom-up evaluation. In: Hermenegildo, M., Schaub, T. (eds.) Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010). Leibniz International Proceedings in Informatics (LIPIcs), vol. 7, pp. 44–53. Schloss Dagstuhl (2010),
http://drops.dagstuhl.de/opus/volltexte/2010/2582
4. Lecture Notes in Computer Science;S. Brass,2012
5. Lecture Notes in Computer Science;F. Bry,2011