Stephen A. Cook, Yongmei Liu: A Complete Axiomatization for Blocks World. J. Log. Comput. 13(4): 581-594 (2003)