Michael Sioutis, Zhiguo Long, Sanjiang Li: Efficiently Reasoning about Qualitative Constraints through Variable Elimination. SETN 2016: 1:1-1:10