Author:
Zeng Guoyan,Chen Shuwei,Liu Jun,Xu Yang,Liu Peiyao
Reference42 articles.
1. Exploring automated reasoning in first-order logic: tools, techniques and application areas;V Pavlov;International Conference on Knowledge Engineering and the Semantic Web,2013
2. OTTER 3.0 reference manual and guide
3. Rewrite-based equational theorem proving with selection and simplification;L Bachmair;J. Logic Comput,1994
4. First-order theorem proving and vampire;L Kov�cs;Proceedings of International Conference on Computer Aided Verification,2013