Xining Li A New Term Representation Method for Prolog. 43-57 1998 34 J. Log. Program. 1 db/journals/jlp/jlp34.html#Li98