Enviar por SMS: Automated theorem proving : theory and practice / Monty Newborn.