Exhausting strategies, joker games and full completeness for IMLL with Unit (Theoretical Computer Science, 2003)

(untitled) - Murawski, A; Ong, C