Classification of text documents
Logic in computer science: modelling and reasoning about systems