Jeremy R. Johnson et al.: High-performance implementations of the Descartes method. (2006)conf/issac/JohnsonKLRR0610.1145/1145768.1145797High-performance implementations of the Descartes method.5Jeremy R. Johnson1Werner Krandick2Kevin Lynch3David G. Richardson4Anatole D. Ruslanov5154-161ISSACISSAC20062006provenance information for RDF data of dblp record 'conf/issac/JohnsonKLRR06'2018-11-06T16:57:05+0100