@book { LevesqueLakemeyer:2001:LogicOfKB,
        title = {The Logic of Knowledge Bases},
        year = {2001},
        publisher = {MIT Press},
        organization = {MIT Press},
        type = {book},
        author = {Levesque, Hector J. and Lakemeyer, Gerhard}
}

{"_id":{"_str":"5342b4520e946d920a0032c9"},"__v":50,"authorIDs":["54575ce32abc8e9f37000307","545aa113b43425b77200103d","5e3902b8dc5b8ade010000a6","5e3902f4dc5b8ade010000a9","RmQT3J2e7NKqkbbbe"],"author_short":["Levesque, H. J.","Lakemeyer, G."],"bibbaseid":"levesque-lakemeyer-thelogicofknowledgebases-2001","bibdata":{"bibtype":"book","type":"book","title":"The Logic of Knowledge Bases","year":"2001","publisher":"MIT Press","organization":"MIT Press","author":[{"propositions":[],"lastnames":["Levesque"],"firstnames":["Hector","J."],"suffixes":[]},{"propositions":[],"lastnames":["Lakemeyer"],"firstnames":["Gerhard"],"suffixes":[]}],"bibtex":"@book { LevesqueLakemeyer:2001:LogicOfKB,\n title = {The Logic of Knowledge Bases},\n year = {2001},\n publisher = {MIT Press},\n organization = {MIT Press},\n type = {book},\n author = {Levesque, Hector J. and Lakemeyer, Gerhard}\n}\n\n\n","author_short":["Levesque, H. J.","Lakemeyer, G."],"key":"LevesqueLakemeyer:2001:LogicOfKB","id":"LevesqueLakemeyer:2001:LogicOfKB","bibbaseid":"levesque-lakemeyer-thelogicofknowledgebases-2001","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"book","biburl":"https://kbsg.rwth-aachen.de/files/kbsgweb.bib","downloads":0,"keywords":[],"search_terms":["logic","knowledge","bases","levesque","lakemeyer"],"title":"The Logic of Knowledge Bases","year":2001,"dataSources":["2LLKDfkxMDdABm58M","dqRQPSg6Hy3ZXQg7z","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}