Next: [5], Previous: [3], Up: Bibliography [Contents]
K. Sagonas, The SLG-WAM: A Search-Efficient Engine for Well-Founded Evaluation of Normal Logic Programs, PhD thesis, SUNY at Stony Brook, 1996. Available from https://user.it.uu.se/~kostis/Thesis/thesis.ps.gz.