The Expressive Power of Side Effects in Prolog. - Johann A. Makowsky; J.-C. Gregoire; Shmuel Sagiv (J. Log. Program., 1992)