Pásztor Varga, K., Alagi, G., Várterész, M.: Many-valued logics - implications and semantic consequences.
Acta Univ. Sap., Inf. 5 (2), 145-166, 2013.

Pásztor Varga, K., Várterész, M.: Many-valued logics - theorem proving problems.
In: Joint Conference on Mathematics and Computer Science (8.) (2010.07.14-07-17) (Komárno, Slovakia), Novadat, Győr, 91-98, 2011. ISBN: 9789639056381

Kádek, T., Robu, J., Várterész, M.: Matematikai logika példatár.
Presa Universitara Clujeana, Cluj-Napoca, 174 p., 2010. ISBN: 9789735951221

Pásztor Varga, K., Várterész, M.: Many-valued Logic, Mappings, ICF Graphs, Normal Forms.
Annales Univ. Sci. Budapest., Sect. Comp. 31 185-202, 2009.

Pásztor Varga, K., Várterész, M.: Languages of logic and their applications.
Comput. Math. Appl. 55 (8), 1660-1669, 2008.

Várterész, M., Pásztor Varga, K.: Computer Science, Logic, Informatics Education.
J. Univers. Comput. Sci. 12 (9), 1405-1410, 2006.

Pásztor-Varga, K., Várterész, M.: Usability of some theorem proving systems.
Pure math. appl. 15 (2-3), 273-284, 2004.

Pásztor Varga, K., Várterész, M.: A matematikai logika alkalmazásszemléletű tárgyalása.
Panem Könyvkiadó, Budapest, 394 p., 2003. ISBN: 9635453647

Várterész, M., Nagy, B., Kósa, M., Pánovics, J.: A Mesterséges intelligencia tárgy bevezető kurzusának gyakorlatai a Debreceni Egyetemen.
In: Informatika a felsőoktatásban : 2002 : konferencia kiadvány : Debrecen, 2002. aug. 28-30.. Szerk.: Arató Péter, Herdon Miklós, Debreceni Egyetem, Debrecen, 1103-1109, 2002.

Pásztor Varga, K., Várterész, M.: Comparison and usability of two rewriting systems for theorem proving.
Pure math. appl. 13 (1-2), 293-302, 2002.

Várterész, M.: Accelerated Convergence in Newton-Like Methods.
J. Math. Sci. 103 (4), 529-532, 2001.

Várterész, M.: Érintő-konvexfüggvényekkel generált egyenletmegoldó iterációk.
Alkalm. mat. l. 19 219-235, 1998.

Várterész, M.: Iterációs eljárások nem-lineáris egyenletek megoldására.
KLTE, Debrecen, 1998.

Várterész, M.: Matematikai logika.
KLTE, Debrecen, 32 p., 1998.

Várterész, M.: Ob odnom vsegda skhodyashchemsya iteratsionnom metode dlya resheniya nelineinykh uravnenii.
Publ. Math.-Debr. 40 (1-2), 1-10, 1992.

Várterész, M.: Equation solving interactions based on tagential convex functions.
Publ. Math. Debrecen. 39 (3-4), 253-261, 1991.

Várterész, M.: O vsegda shodâŝihsâ iteracionnyh metodah kasmel'nyh vypuklyh funkcij djâ rešeniâ nelinejnyh upravlenij.
Publ. Math. Debrecen. 32 255-265, 1985.