Colin Stirling
A Game-Theoretic Approach to Deciding Higher-Order Matching
ICALP, 2006.
@inproceedings{ICALP-v2-2006-Stirling, author = "Colin Stirling", booktitle = "{Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, Part II}", doi = "10.1007/11787006_30", isbn = "3-540-35907-9", pages = "348--359", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Game-Theoretic Approach to Deciding Higher-Order Matching}", volume = 4052, year = 2006, }