3rd Indian Conference on Logic and Its Applications, 7-11 January. tr 2009, 3 (2).