A Complete Axiomatization for Blocks World.

Stephen A. Cook, Yongmei Liu

Browse the full ISAIM paper archive.