A Computationally Efficient System for High-Performance Multi-Document Summarization. - Sean Sovine; Hyoil Han (FLAIRS, 2013)

The modal logic of Reverse Mathematics. - Carl Mummert; Alaeddine Saadaoui; Sean Sovine (Arch. Math. Log., 2015)