A transformation system for logic programs which preserves equivalence (1983)

by H Tamaki, T Sato