@book{Bibel:1993,
	title = "Deduction: Automated Logic",
	author = "Wolfgang Bibel",
	publisher = academic,
	_address = "London",
	year = 1993
}

{"_id":"gBgtwD33EDeft5sPy","bibbaseid":"bibel-deductionautomatedlogic-1993","author_short":["Bibel, W."],"bibdata":{"bibtype":"book","type":"book","title":"Deduction: Automated Logic","author":[{"firstnames":["Wolfgang"],"propositions":[],"lastnames":["Bibel"],"suffixes":[]}],"publisher":"Academic Press","_address":"London","year":"1993","bibtex":"@book{Bibel:1993,\n\ttitle = \"Deduction: Automated Logic\",\n\tauthor = \"Wolfgang Bibel\",\n\tpublisher = academic,\n\t_address = \"London\",\n\tyear = 1993\n}\n\n","author_short":["Bibel, W."],"key":"Bibel:1993","id":"Bibel:1993","bibbaseid":"bibel-deductionautomatedlogic-1993","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"book","biburl":"https://aima.cs.berkeley.edu/aima4e.bib","dataSources":["cx4WvnDhXJhiLqdQo"],"keywords":[],"search_terms":["deduction","automated","logic","bibel"],"title":"Deduction: Automated Logic","year":1993}