Taolue Chen, Tingting Han, and Jian Lu. On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence. Acta Cybernetica, 17(3):471-483, 2006. [ PDF ]
This document was translated from BibTEX by bibtex2html