A Logic-Based System for Application Integration. - Tamás Benkö; Péter Krauth; Péter Szeredi (ICLP, 2002)