3 ms·
Corresponding paper is probably http://people.csail.mit.edu/kostas/papers/CADE1996.pdf http://people.csail.mit.edu/kostas/papers/CADE1996.pdf. Thanks for the na
by JonChesterfield 5y ago
Corresponding paper is probably http://people.csail.mit.edu/kostas/papers/CADE1996.pdf http://people.csail.mit.edu/kostas/papers/CADE1996.pdf. Thanks for the name drop, looks great