Conference articles
- Gregory J. Duck, Leslie De Koninck, and Peter J. Stuckey. Cadmium: An Implementation of ACD Term Rewriting. In M. Garcìa de la Banda and E. Pontelli, editors, ICLP08l, volume 5366 of LNCS, pages 531-545, December 2008. SV. [doi:10.1007/978-3-540-89982-2] Keyword(s): implementation.
BACK TO INDEX