Subtyping constraints in quasi-lattices - COQUERY, Emmanuel; FAGES, Francois (FST TCS 2003 : foundations of software technology and theoretical computer science (Mumbai, 15-17 December 2003), 2003)
text