Použitie samočinných počítačov pri skúmání istých rozkladov kompletného grafu Jaroslav Březina (1973) Matematický časopis