Kashev, Alexander (2016) Justification with nominals thesis, Institut für Informatik und angewandte Mathematik.