selected publications academic article Modelling prolog control. Journal of Logic and Computation. 3:579-603. 1992
