@InProceedings{Gar08,
    Author       = "Garg, D.",
    Year         = "2008",
    Title        = "{Principal-Centric Reasoning in Constructive Authorization Logic}",
    Editor       = "",
    BookTitle    = "{Proceedings of the LICS 2008 Workshop on Intuitionistic Modal Logics and
                    Applications}",
    Place        = "Pittsburg, USA",
    Pages        = "",
    Comment      = "TPTPRef"
}