243 followers
Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion. - Haruhiko Sato, Sarah Winkler http://t.co/i20eAJ3TAC
Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion. - Haruhiko Sato, Sarah Winkler http://t.co/i20eAJ3TAC