Kazumasa Shinagawa, Daiki Miyahara, and Takaaki Mizuki, “How to Play Old Maid with Virtual Players,” Theory of Computing Systems, Springer, vol.?, pp.?–?, To Appear