Underspecified
computation of normal forms,
with A Koller, S Thater, Proceedings of the 21st International
Conference on Rewriting Techniques and Applications, 2010
2009
Unification
modulo homomorphic encryption,
with S Anantharaman, H Lin, P Narendran, M Rusinowitch,
International Symposium on Frontiers of Combining Systems,
100-116, 7, 2009
Encoding
first order proofs in smt,
with J Bongio, C Katrak, H Lin, RE McGregor, Electronic Notes in
Theoretical Computer Science 198 (2), 71-84, 4, 2008
Rewriting
Interpolants,
with Y Tang, Electronic Notes in Theoretical Computer Science 212,
163-176, 2008
Encoding
first order proofs in sat,
with T Deshane, W Hu, P Jablonski, H Lin, RE McGregor,
International Conference on Automated Deduction, 476-491, 8, 2007
Basic
paramodulation and superposition,
with L Bachmair, H. Ganzinger, and Wayne Snyder , In ,
IInternational
Conference on Automated Deduction,Springer,
Berlin, Heidelberg, 462-476.