Central Government Pension Rules as a Logic Program. - K. K. Bajaj; R. K. Dubash; Robert A. Kowalski (KBCS, 1989)