Dokazovanie viet počítačom - Kotúčová, Jana (Slovenská vysoká škola technická, 1983)