Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons Learned | Publicación