| |
| 2006 | ||
|---|---|---|
| 1 | EE | Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Alessandro Santuari, Roberto Sebastiani: To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF ÈT). LPAR 2006: 557-571 |
| 1 | Roberto Bruttomesso | [1] |
| 2 | Alessandro Cimatti | [1] |
| 3 | Anders Franzén | [1] |
| 4 | Alberto Griggio | [1] |
| 5 | Roberto Sebastiani | [1] |