Charles E. Hughes, David W. Straight. Word problems for bidirectional, single-premise Post systems. Notre Dame Journal of Formal Logic, 21(3):501-508, 1980. [doi]
No references recorded for this publication.
No citations of this publication recorded.