Antonin Svoboda The numerical system of residual classes in mathematical machines. [Citation Graph (0, 0)][DBLP] IFIP Congress, 1959, pp:419-421 [Conf]
Antonin Svoboda The Concept of Term Exclusiveness and Its Effect on the Theory of Boolean Functions. [Citation Graph (0, 0)][DBLP] J. ACM, 1975, v:22, n:3, pp:425-440 [Journal]