Ditchev, A. On the Effective Enumerations of Partial Structures. Ann. Sofia Univ. Fac. Math. and Inf. 1992, 83, 29-37.