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