@doctoralThesis{Hritcu_2012,
title={Union, intersection, and refinement types and reasoning about type disjointness for security protocol analysis},
author={Hritcu, Catalin},
doi={http://dx.doi.org/10.22028/D291-26373},
subtitle={Disjunktive, konjunktive, und Verfeinerungstypen und die Beweisführung der Disjunktheit von Typen für die Analyse von Sicherheitsprotokollen},
year={2012}
}