Next: , Previous: [3], Up: Bibliography   [Contents]


[4]

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.