An algebraic semantics of Prolog program termination - Ross, Brian J.; Smaill, Alan (University <Edinburgh>, 1990)