A New Term Representation Method for Prolog. - Li, Xining (J. Log. Program., 1998)