A. Ditchev, “On the effective enumerations of partial structures”, Ann. Sofia Univ. Fac. Math. and Inf., vol. 83, no. 1, pp. 29–37, Dec. 1992.