Christoph M. Hoffmann, Lawrence H. Landweber. A Completeness Theorem for Straight-Line Programs with Structured Variables. Journal of the ACM, 23(1):203-220, 1976. [doi]
No references recorded for this publication.
No citations of this publication recorded.