LIM+ Challenge Problems by RUE Hyper-Resolution. - Vincent J. Digricoli; Eugene Kochendorfer (CADE, 1992)