Adapting the diagonalization method by reformulations (1995)

by Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou
Venue:Proceedings of SARA-95 -- Symposium on Abstraction, Reformulation, and Approximation