Loop checking in partial deduction - Bol, Roland N. (1991)