Ditchev, A. 1992. On the effective enumerations of partial structures. Ann. Sofia Univ. Fac. Math. and Inf. 83, 1 (Dec. 1992), 29–37.