A Complete Axiomatization for Blocks World

Stephen A. Cook, Yongmei Liu. A Complete Axiomatization for Blocks World. Journal of Logic and Computation, 13(4):581-594, 2003. [doi]

Authors

Stephen A. Cook

This author has not been identified. Look up 'Stephen A. Cook' in Google

Yongmei Liu

This author has not been identified. Look up 'Yongmei Liu' in Google