@article{ dblp3413779,
  title = {A Complete Axiomatization for Blocks World},
  author = {Stephen A. Cook and Yongmei Liu},
  author_short = {Cook, S. A. and Liu, Y.},
  bibtype = {article},
  type = {article},
  year = {2003},
  key = {dblp3413779},
  id = {dblp3413779},
  biburl = {http://www.dblp.org/rec/bibtex/journals/logcom/CookL03},
  url = {http://dx.doi.org/10.1093/logcom/13.4.581},
  journal = {J. Log. Comput. (LOGCOM)},
  pages = {581-594},
  number = {4},
  volume = {13},
  text = {J. Log. Comput. (LOGCOM) 13(4):581-594 (2003)}
}

{"_id":{"_str":"53ecdb0b361ffffd45001e45"},"__v":0,"authorIDs":[],"author_short":["Cook, S. A.","Liu, Y."],"bibbaseid":"cook-liu-acompleteaxiomatizationforblocksworld-2003","bibdata":{"downloads":0,"urls":{"Paper":"http://dx.doi.org/10.1093/logcom/13.4.581"},"role":"author","bibbaseid":"cook-liu-acompleteaxiomatizationforblocksworld-2003","bibtex":"@article{ dblp3413779,\n title = {A Complete Axiomatization for Blocks World},\n author = {Stephen A. Cook and Yongmei Liu},\n author_short = {Cook, S. A. and Liu, Y.},\n bibtype = {article},\n type = {article},\n year = {2003},\n key = {dblp3413779},\n id = {dblp3413779},\n biburl = {http://www.dblp.org/rec/bibtex/journals/logcom/CookL03},\n url = {http://dx.doi.org/10.1093/logcom/13.4.581},\n journal = {J. Log. Comput. (LOGCOM)},\n pages = {581-594},\n number = {4},\n volume = {13},\n text = {J. Log. Comput. (LOGCOM) 13(4):581-594 (2003)}\n}","text":"J. Log. Comput. (LOGCOM) 13(4):581-594 (2003)","volume":"13","number":"4","pages":"581-594","journal":"J. Log. Comput. (LOGCOM)","url":"http://dx.doi.org/10.1093/logcom/13.4.581","biburl":"http://www.dblp.org/rec/bibtex/journals/logcom/CookL03","id":"dblp3413779","key":"dblp3413779","year":"2003","type":"article","bibtype":"article","author_short":["Cook, S. A.","Liu, Y."],"author":["Stephen A. Cook","Yongmei Liu"],"title":"A Complete Axiomatization for Blocks World"},"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/logcom/CookL03","creationDate":"2014-08-14T15:51:39.260Z","downloads":0,"keywords":[],"search_terms":["complete","axiomatization","blocks","world","cook","liu"],"title":"A Complete Axiomatization for Blocks World","year":2003,"dataSources":["Pb4otnrnmnEh9Xd95"]}