Alexander Brodsky Yehoshua Sagiv On Termination of Datalog Programs. 47-64 1989 DOOD db/conf/dood/dood89.html#BrodskyS89