Robert Wilber
-
The PSPACE-Completeness of Black-White Pebbling
SIAM Journal on Computing
On the Relative Strength of Pebbling and Resolution
ACM Transactions on Computational Logic (TOCL)