Zhaohui Zhu, Xian Xiao, Yong Zhou, Wujia Zhu. Normal conditions for inference relations and injective models. Theoretical Computer Science, 309(1-3):287-311, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.