Costas Busch Neophytos Demetriou Maurice Herlihy Marios Mavronicolas A Combinatorial Characterization of Properties Preserved by Antitokens. 114-132 2000 71 Bulletin of the EATCS db/journals/eatcs/eatcs71.html#BuschDHM00