Presburger Arithmetic with Bounded Quantifier Alternation - C. R. Reddy; Donald W. Loveland (STOC, 1978)

Deleting Repeated Goals in the Problem Reduction Format. - Donald W. Loveland; C. R. Reddy (J. ACM, 1981)

The stabilization of two-dimensional non-symmetric half-plane recursive filters via the discrete Hilbert transformations. - C. R. Reddy; P. Sathyanarayana; M. N. S. Swamy (Int. J. Circuit Theory Appl., 1991)