A Constructive Proof of Higman's Lemma - Chetan R. Murthy; James R. Russell (LICS, 1990)

Extracting Constructive Content From Classical Proofs. - Chetan R. Murthy (1990)

Classical Proofs as Programs: How, What, and Why. - Chetan R. Murthy (Constructivity in Computer Science, 1991)

An Evaluation Semantics for Classical Proofs - Chetan R. Murthy (LICS, 1991)

A Computational Analysis of Girard's Translation and LC - Chetan R. Murthy (LICS, 1992)

GNSS Signal Detection Under Noise Uncertainty. - J. Chandrasekhar; Chetan R. Murthy (ICC, 2010)