Exhausting strategies, joker games and full completeness for IMLL with Unit - Murawski, A; Ong, C (Theoretical Computer Science, 2003)