Αποστολή με SMS: Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P