2009. 3rd Indian Conference on Logic and its Applications, 7-11 January. The Reasoner. 3, 2 (Feb. 2009).