| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Logic Program Synthesis and Transformation: "Proceedings Of Lopstr 93, International Workshop On Logic Program Synthesis And Transformation, ... 79 July 1993" | 978-3-540-19864-2 (3-540-19864-4) | 2013 | ||
| Logic Program Synthesis and Transformation: Proceedings of Lopstr 93, International Workshop on Logic Program Synthesis and Transformation, Louvain- | 978-0-387-19864-4 (0-387-19864-4) | 1994 | ||
| Numerica: A Modeling Language for Global Optimization | 978-0-262-72027-4 (0-262-72027-2) | 1997 | Pascal Van Hentenryck · Laurent Michel | |