Yuxi Fu. A schematic axiom for open congruence. Science in China Series F: Information Sciences, 48(1):67-77, 2005. [doi]
@article{Fu05-0,
title = {A schematic axiom for open congruence},
author = {Yuxi Fu},
year = {2005},
doi = {10.1360/01yf0466},
url = {http://dx.doi.org/10.1360/01yf0466},
tags = {source-to-source, open-source},
researchr = {https://researchr.org/publication/Fu05-0},
cites = {0},
citedby = {0},
journal = {Science in China Series F: Information Sciences},
volume = {48},
number = {1},
pages = {67-77},
}