Machine fusion: merging merges, more or less.

Sun, 01 Jan 2017 00:00:00 +0100

Amos Robinson, Ben Lippmeier:
Machine fusion: merging merges, more or less. PPDP 2017: 139-150