Francis Alexandre: Une heuristique pour transformer des programmes logiques. SPLT 1989: 143-158