How to progress a database III

How to progress a database III. Vassos, S. & Levesque, H. J. Artif. Intell., 195:203–221, 2013.

@Article{DBLP:journals/ai/VassosL13,
  Title                    = {How to progress a database {III}},
  Author                   = {Stavros Vassos and
 Hector J. Levesque},
  Journal                  = {Artif. Intell.},
  Year                     = {2013},
  Pages                    = {203--221},
  Volume                   = {195},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/journals/ai/VassosL13},
  Doi                      = {10.1016/j.artint.2012.10.005},
  Timestamp                = {Mon, 05 Jun 2017 01:00:00 +0200},
  Url                      = {https://doi.org/10.1016/j.artint.2012.10.005}
}

Downloads: 0

{"_id":{"_str":"52366a7dd0cc4d8625000001"},"__v":0,"authorIDs":["545aa113b43425b77200103d","545aa143b43425b772001040","5e3902f4dc5b8ade010000a9","RmQT3J2e7NKqkbbbe","w4t3wcFdcECFD2TSt"],"author_short":["Vassos, S.","Levesque, H. J."],"bibbaseid":"vassos-levesque-howtoprogressadatabaseiii-2013","bibdata":{"bibtype":"article","type":"article","title":"How to progress a database III","author":[{"firstnames":["Stavros"],"propositions":[],"lastnames":["Vassos"],"suffixes":[]},{"firstnames":["Hector","J."],"propositions":[],"lastnames":["Levesque"],"suffixes":[]}],"journal":"Artif. Intell.","year":"2013","pages":"203–221","volume":"195","bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/bib/journals/ai/VassosL13","doi":"10.1016/j.artint.2012.10.005","timestamp":"Mon, 05 Jun 2017 01:00:00 +0200","url":"https://doi.org/10.1016/j.artint.2012.10.005","bibtex":"@Article{DBLP:journals/ai/VassosL13,\n Title = {How to progress a database {III}},\n Author = {Stavros Vassos and\n Hector J. Levesque},\n Journal = {Artif. Intell.},\n Year = {2013},\n Pages = {203--221},\n Volume = {195},\n\n Bibsource = {dblp computer science bibliography, https://dblp.org},\n Biburl = {https://dblp.org/rec/bib/journals/ai/VassosL13},\n Doi = {10.1016/j.artint.2012.10.005},\n Timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},\n Url = {https://doi.org/10.1016/j.artint.2012.10.005}\n}\n\n","author_short":["Vassos, S.","Levesque, H. J."],"key":"DBLP:journals/ai/VassosL13","id":"DBLP:journals/ai/VassosL13","bibbaseid":"vassos-levesque-howtoprogressadatabaseiii-2013","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.artint.2012.10.005"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":0,"search_terms":["progress","database","iii","vassos","levesque"],"title":"How to progress a database III","year":2013,"keywords":[],"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ"]}