Refutations by matings (1976)

by Peter B Andrews
Venue:IEEE Transactions on Computers