Adapting the diagonalization method by reformulations (1995)

by X Huang, M Kerber, L Cheikhrouhou
Venue:Proc. of the Symposium on Abstraction, Reformulation and Approximation (SARA-95