[{"place":"Berlin, Heidelberg","year":"1987","page":"208-223","citation":{"apa":"Büning, H. K., &#38; Lettmann, T. (1987). Representation independent query and update operations on propositional definite Horn formulas. In E. Börger (Ed.), <i>Computation Theory and Logic</i> (pp. 208–223). Berlin, Heidelberg. <a href=\"https://doi.org/10.1007/3-540-18170-9_167\">https://doi.org/10.1007/3-540-18170-9_167</a>","bibtex":"@inbook{Büning_Lettmann_1987, place={Berlin, Heidelberg}, title={Representation independent query and update operations on propositional definite Horn formulas}, DOI={<a href=\"https://doi.org/10.1007/3-540-18170-9_167\">10.1007/3-540-18170-9_167</a>}, booktitle={Computation Theory and Logic}, author={Büning, Hans Kleine and Lettmann, Theodor}, editor={Börger, EgonEditor}, year={1987}, pages={208–223} }","mla":"Büning, Hans Kleine, and Theodor Lettmann. “Representation Independent Query and Update Operations on Propositional Definite Horn Formulas.” <i>Computation Theory and Logic</i>, edited by Egon Börger, 1987, pp. 208–23, doi:<a href=\"https://doi.org/10.1007/3-540-18170-9_167\">10.1007/3-540-18170-9_167</a>.","short":"H.K. Büning, T. Lettmann, in: E. Börger (Ed.), Computation Theory and Logic, Berlin, Heidelberg, 1987, pp. 208–223.","ama":"Büning HK, Lettmann T. Representation independent query and update operations on propositional definite Horn formulas. In: Börger E, ed. <i>Computation Theory and Logic</i>. Berlin, Heidelberg; 1987:208-223. doi:<a href=\"https://doi.org/10.1007/3-540-18170-9_167\">10.1007/3-540-18170-9_167</a>","ieee":"H. K. Büning and T. Lettmann, “Representation independent query and update operations on propositional definite Horn formulas,” in <i>Computation Theory and Logic</i>, E. Börger, Ed. Berlin, Heidelberg, 1987, pp. 208–223.","chicago":"Büning, Hans Kleine, and Theodor Lettmann. “Representation Independent Query and Update Operations on Propositional Definite Horn Formulas.” In <i>Computation Theory and Logic</i>, edited by Egon Börger, 208–23. Berlin, Heidelberg, 1987. <a href=\"https://doi.org/10.1007/3-540-18170-9_167\">https://doi.org/10.1007/3-540-18170-9_167</a>."},"publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783540181705","9783540477952"]},"publication_status":"published","title":"Representation independent query and update operations on propositional definite Horn formulas","doi":"10.1007/3-540-18170-9_167","date_updated":"2022-01-06T06:54:13Z","author":[{"last_name":"Büning","full_name":"Büning, Hans Kleine","first_name":"Hans Kleine"},{"full_name":"Lettmann, Theodor","id":"315","orcid":"0000-0001-5859-2457","last_name":"Lettmann","first_name":"Theodor"}],"date_created":"2020-10-01T09:08:05Z","editor":[{"first_name":"Egon","full_name":"Börger, Egon","last_name":"Börger"}],"status":"public","publication":"Computation Theory and Logic","type":"book_chapter","language":[{"iso":"eng"}],"_id":"19821","department":[{"_id":"34"},{"_id":"355"},{"_id":"7"}],"user_id":"315"}]