Experimental Program Verification in the Theorema System. - Tudor Jebelean; Laura Kovács; Nikolaj Popov (ISoLA (Preliminary proceedings), 2004)

Combining Logic and Algebraic Techniques for Program Verification in Theorema. - Laura Kovács; Nikolaj Popov; Tudor Jebelean (ISoLA, 2006)

Theorema: Towards computer-aided mathematical theory exploration. - Bruno Buchberger; Adrian Craciun; Tudor Jebelean; Laura Kovács; Temur Kutsia; Koji Nakagawa; Florina Piroi; Nikolaj Popov; Judit Robu; Markus Rosenkranz; Wolfgang Windsteiger (J. Appl. Log., 2006)

Automated Reasoning. - Tudor Jebelean; Bruno Buchberger; Temur Kutsia; Nikolaj Popov; Wolfgang Schreiner; Wolfgang Windsteiger (Hagenberg Research, 2009)

Using Computer Algebra techniques for the specification, verification and synthesis of recursive programs. - Nikolaj Popov; Tudor Jebelean (Math. Comput. Simul., 2009)

Proving Partial Correctness and Termination of Mutually Recursive Programs. - Nikolaj Popov; Tudor Jebelean (SYNASC, 2010)