Text this: Non-standard logics for automated reasoning /