Human-centred analysis of the dependencies within sets of proofs.

Maria Spichkova, Milan Simic

Browse the full KES paper archive.