1. Reasoning about termination of pure Prolog programs;Apt;Inform. and Comput.,1993
2. S. Bader, From logic programs to iterated function systems, Master's Thesis, Department of Computer Science, Dresden University of Technology, 2003
3. Fractals Everywhere;Barnsley,1993
4. The query topology in logic programming;Batarekh,1989
5. Topological model set deformations in logic programming;Batarekh;Fund. Inform.,1989