West, M., Bryant, C., & McCluskey, T. (1997, July). Transforming general program proofs: a meta interpreter which expands negative literals. Presented at 7th International Workshop on Logic Program Synthesis and Transformation, Leuven, Belgium