A Multiple Integral Evaluation Inspired by the Multi-WZ Method. - Akalu Tefera (Electron. J. Comb., 1999)

MultInt, a MAPLE Package for Multiple Integration by the WZ Method. - Akalu Tefera (J. Symb. Comput., 2002)

Summation identities for representation of certain real numbers. - George Grossman; Akalu Tefera; Aklilu Zeleke (Int. J. Math. Math. Sci., 2006)

Combinatorial and Automated Proofs of Certain Identities. - Justin Brereton; Amelia Farid; Maryam Karnib; Gary Marple; Alex Quenon; Akalu Tefera (Electron. J. Comb., 2011)

Proofs of Ruehr's Identities. - Sean Meehan; Akalu Tefera; Michael Weselcouch; Aklilu Zeleke (Integers, 2014)