A schematic axiom for open congruence

Yuxi Fu. A schematic axiom for open congruence. Science in China Series F: Information Sciences, 48(1):67-77, 2005. [doi]

Abstract

Abstract is missing.