Unication Problems Modulo a Theory of Until. - Shreyaben Brahmakshatriya; Sushma Danturi; Kimberly A. Gero; Paliath Narendran (UNIF@RTA/TLCA, 2013)