Alfons Laarman et al.: Parallel Recursive State Compression for Free. (2011)conf/spin/LaarmanP01110.1007/978-3-642-22306-8_4Q62047469Parallel Recursive State Compression for Free.3Alfons Laarman1Jaco van de Pol2Michael Weber 0002338-56SPINSPIN20112011provenance information for RDF data of dblp record 'conf/spin/LaarmanP011'2020-12-29T18:37:06+0100