George Leibman, A Nonstandard Proof of the Fundamental Theorem of Algebra, American Mathematical Monthly, October 2005

George Leibman, Consistency Strengths of Modified Maximality Principles, PhD dissertation, CUNY Graduate Center, June 2004

G. Leibman, Resolving handwriting recognition confusion by elastic feature extraction, IBM Technical Disclosure Bulletin, July, 1991

C. C. Tappert and G. Leibman, A method that eliminates maverick prototypes in online handwriting recognition, IBM Technical Disclosure Bulletin, 1990

C. C. Tappert, T. Chefalas, T. Fujisaki, G. Leibman, Optimal recognition of baseline-dependent characters in online handwriting  recognition, IBM Technical Disclosure Bulletin, 1990