Indian Central Civil Service Pension Rules: A Case Study in Logic Programming Applied to Regulations. - Marek J. Sergot; A. S. Kamble; K. K. Bajaj (ICAIL, 1991)