Diego Alejandro Morán Ramírez, Santanu S. Dey: A Polynomial-Time Algorithm to Check Closedness of Simple Second Order Mixed-Integer Sets. IPCO 2013: 266-277