Details:
| Title | | | Author(s) | Antonio Montes, Michael Wimber | | Type | Article in Journal | | Abstract | | | Keywords | |
| Language | English | | Journal | Journal of Symbolic Computation | | Volume | 45 | | Number | 12 | | Pages | 1391-1425 | | Publisher | ACM Press | | Year | 2010 | | Month | December | | Translation |
No | | Refereed |
Yes |
|
