This document is unfortunately not available for download at the moment.
Dimiter G. Skordev (1987) Mathematical logic and its applications, Dordrecht, Springer.
Projection complete graph problems corresponding to a Branching-program-based characterization of the complexity classes nc1 ,land nl
Christoph Meinel
pp. 283-292
Not implemented yet !