Workshop on Logic, Language, Information and Computation, 1-4 July. The Reasoner, v. 2, n. 9, 1 Sep.2008.