Andy King Pair-sharing over rational trees. 139-155 2000 46 J. Log. Program. 1-2 db/journals/jlp/jlp46.html#King00