Philippe Balbiani: The Finiteness of Logic Programming Derivations. ALP 1992: 403-419