Hacker News new | ask | show | jobs
by JonChesterfield 1546 days ago
Corresponding paper is probably http://people.csail.mit.edu/kostas/papers/CADE1996.pdf. Thanks for the name drop, looks great