Checking termination of queries to logic programs, Available from http://www.cs.huji.ac.il/ naomil (1996)

by N Lindenstrauss