Pushing blocks via checkable gadgets: PSPACE-completeness of push-1f and block/box dude

From MaRDI portal
Publication:6540571