A Formal Theory of Justifications.

Marc Denecker, Gerhard Brewka, Hannes Strass

Browse the full LPNMR paper archive.