![]() |
| * | 2008 | |
|---|---|---|
| 2 | EE | Christopher Lynch, Yuefeng Tang: Interpolants for Linear Arithmetic in SMT. ATVA 2008: 156-170 |
| 1 | EE | Christopher Lynch, Yuefeng Tang: Rewriting Interpolants. Electr. Notes Theor. Comput. Sci. 212: 163-176 (2008) |
| 1 | Christopher Lynch | [1] [2] |