A Game Characterisation of Tree-like Q-resolution Size

Publication
In Proceedings of the 9th International Conference on Language and Automata Theory and Applications 2015, Nice, France
Date