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