Blog
Yihong Zhang
A tutorial on the imaginary Gogi language
[PDF version]
A Trick that Makes Classical E-Matching Faster
[PDF version]