@InProceedings{BBC-VCL02, 
 author =    {J. Barnat and L. Brim and I. \v{C}ern\'{a}}, 
 title =     {{P}roperty {D}riven {D}istribution of {N}ested {DFS}},
 booktitle = {VCL 2002: The Third International Workshop on Verification and Computational Logic, Pittsburgh PA, October 5, 2002 (held at the PLI 2002 Symposium)}, 
 pages =     {??--??}, 
 year =      {2002}, 
 }