Author:
Yorsh Greta,Musuvathi Madanlal
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Lecture Notes in Computer Science;C. Barrett,2004
2. Craig, W.: Linear reasoning. a new form of the herbrand-gentzen theorem. J. Symbolic Logic 22, 250–268 (1957)
3. Detlefs, D., Nelson, G., Saxe, J.: Simplify theorem prover,
http://research.compaq.com/SRC/esc/Simplify.html
4. Lecture Notes in Computer Science;J.-C. Filliâtre,2001
5. Lecture Notes in Computer Science;C. Flanagan,2003
Cited by
64 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献