Effectiveness in RPL, with applications to continuous logic. - Farzad Didehvar; Kaveh Ghasemloo; Massoud Pourmahdian (Ann. Pure Appl. Log., 2010)

Questions answered. in theory.: http://cstheory.stackexchange.com/. - Dave Clarke 001; David Eppstein; Kaveh Ghasemloo; Lev Reyzin; András Z. Salamon; Peter W. Shor; Aaron D. Sterling; Suresh Venkatasubramanian (SIGACT News, 2010)

Theories for Subexponential-size Bounded-depth Frege Proofs. - Kaveh Ghasemloo; Stephen A. Cook (CSL, 2013)

Uniformity and Nonuniformity in Proof Complexity. - Kaveh Ghasemloo (2017)