H Venkateswaran - Proceedings of the nineteenth annual ACM …, 1987 - dl.acm.org
Two properties, called semi-unboundedness, and polynomial proof-size, are identified as
key properties shared by the definitions of LOGCFL on several models of computations. The …