Stephen A. Cook, Yongmei Liu. A Complete Axiomatization for Blocks World. Journal of Logic and Computation, 13(4):581-594, 2003. [doi]
@article{CookL03,
title = {A Complete Axiomatization for Blocks World},
author = {Stephen A. Cook and Yongmei Liu},
year = {2003},
url = {http://www3.oup.co.uk/logcom/hdb/Volume_13/Issue_04/130581.sgm.abs.html},
tags = {completeness},
researchr = {https://researchr.org/publication/CookL03},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {13},
number = {4},
pages = {581-594},
}