Hisao Tamaki Taisuke Sato Unfold/Fold Transformation of Logic Programs. 127-138 1984 ICLP db/conf/iclp/iclp84.html#TamakiS84