@inproceedings{CookL02,
  title = {A Complete Axiomatization for Blocks World},
  author = {Stephen A. Cook and Yongmei Liu},
  year = {2002},
  url = {http://rutcor.rutgers.edu/~amai/aimath02/PAPERS/7.ps},
  tags = {completeness},
  researchr = {https://researchr.org/publication/CookL02},
  cites = {0},
  citedby = {0},
  booktitle = {AMAI},
}