Entailment of Non-structural Subtype Constraints. - Joachim Niehren; Tim Priesnitz (ASIAN, 1999)

The first-order theory of subtyping constraints. - Zhendong Su 001; Alexander Aiken; Joachim Niehren; Tim Priesnitz; Ralf Treinen (POPL, 2002)

Non-structural subtype entailment in automata theory. - Joachim Niehren; Tim Priesnitz (Inf. Comput., 2003)

Complexity of Subtype Satisfiability over Posets. - Joachim Niehren; Tim Priesnitz; Zhendong Su 001 (ESOP, 2005)

Subtype satisfiability and entailment. - Tim Priesnitz (2007)