The following publications are possibly variants of this publication:
- Weak Transitivity in Coercive SubtypingYong Luo, Zhaohui Luo, Sergei Soloviev. TYPES 2003: 220-239 [doi]
- Coherence and Transitivity in Coercive SubtypingYong Luo, Zhaohui Luo. lpar 2001: 249-265 [doi]
- Transitivity in coercive subtypingZhaohui Luo, Yong Luo. iandc, 197(1-2):122-144, 2005. [doi]
- An Implementation of LF with Coercive Subtyping & UniversesPaul Callaghan, Zhaohui Luo. JAR, 27(1):3-27, 2001.
- Coercion completion and conservativity in coercive subtypingZhaohui Luo. APAL, 113(1-3):297-322, 2001.
- Some Algorithmic and Proof-Theoretical Aspects of Coercive SubtypingAlex P. Jones, Zhaohui Luo, Sergei Soloviev. TYPES 1998: 173-195
- Coercive Subtyping in Type TheoryZhaohui Luo. csl 1997: 276-296
- Coherence and transitivity in coercive subtypingYong Luo. PhD thesis, Durham University, UK, 2004. [doi]
- Coercive subtyping: Theory and implementationZhaohui Luo, Sergei Soloviev, Tao Xue. iandc, 223:18-42, 2013. [doi]