Bai, Y. (2007), 'Logic Program for Authorizations', World Academy of Science, Engineering and Technology, Open Science Index 9, International Journal of Mathematical and Computational Sciences, 1(9), 405 - 409.