Text this: Formal techniques in artificial intelligence