@article{MOMA_1981__92_178031,
     author = {A. Kovacec},
     title = {\"Uber den algorithmischen {Nachweis} von {Ungleichungen} {I.}},
     journal = {Monatshefte f\"ur Mathematik},
     pages = {19--36},
     year = {1981},
     volume = {92},
     url = {http://geodesic.mathdoc.fr/item/MOMA_1981__92_178031/}
}