Deriving and Applying Logic Program Transformers.

Penny Anderson David A. Basin Deriving and Applying Logic Program Transformers. 301-318 1995 conf/asian/1995 ASIAN db/conf/asian/asian95.html#AndersonB95