A Database Approach to Distributed State-Space Generation (0)

by S C C Blom, B Lisser, J C van de Pol, M Weber
Venue:J. of Logic and Computation