Kazuyuki Amano Akira Maruoka Jun Tarui On the negation-limited circuit complexity of merging. 3-8 2003 126 Discrete Applied Mathematics 1 db/journals/dam/dam126.html#AmanoMT03