armstrong_calculus

armstrong_calculus