@techreport{630fb7a934094d5e8a447ebe129d8bc1,
title = "Strong Admissibility Revisited (proofs)",
abstract = "The current document contains the proofs of the COMMA 2014 submission {"}Strong Admissibility Revisited{"} and should be read in conjunction with it.",
author = "Caminada, {Martinus Wigbertus Antonius}",
year = "2014",
month = apr,
language = "English",
series = "Technical Report Series",
publisher = "University of Aberdeen",
number = "ABDN–CS–14–CAM01",
address = "United Kingdom",
type = "WorkingPaper",
institution = "University of Aberdeen",
}