Computer-Aided Reasoning about Knowledge and Justifications