Thomas Vasak John Potter Characterisation of Terminating Logic Programs. 140-147 1986 SLP db/conf/slp/slp86.html#VasakP86