{"editor":[{"first_name":"E.","last_name":"Börger","full_name":"Börger, E."}],"title":"Complexity results for the default- and autoepistemic logic","publication":"Computer Science Logic ","page":"339 - 352","intvolume":"       626","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:50:31Z","citation":{"short":"E. Steffen, in: E. Börger (Ed.), Computer Science Logic , Springer Berlin Heidelberg, 1992, pp. 339–352.","ieee":"E. Steffen, “Complexity results for the default- and autoepistemic logic,” in <i>Computer Science Logic </i>, 1992, vol. 626, pp. 339–352.","bibtex":"@inproceedings{Steffen_1992, title={Complexity results for the default- and autoepistemic logic}, volume={626}, booktitle={Computer Science Logic }, publisher={Springer Berlin Heidelberg}, author={Steffen, Eckhard}, editor={Börger, E.Editor}, year={1992}, pages={339–352} }","ama":"Steffen E. Complexity results for the default- and autoepistemic logic. In: Börger E, ed. <i>Computer Science Logic </i>. Vol 626. Springer Berlin Heidelberg; 1992:339-352.","chicago":"Steffen, Eckhard. “Complexity Results for the Default- and Autoepistemic Logic.” In <i>Computer Science Logic </i>, edited by E. Börger, 626:339–52. Springer Berlin Heidelberg, 1992.","mla":"Steffen, Eckhard. “Complexity Results for the Default- and Autoepistemic Logic.” <i>Computer Science Logic </i>, edited by E. Börger, vol. 626, Springer Berlin Heidelberg, 1992, pp. 339–52.","apa":"Steffen, E. (1992). Complexity results for the default- and autoepistemic logic. In E. Börger (Ed.), <i>Computer Science Logic </i> (Vol. 626, pp. 339–352). Springer Berlin Heidelberg."},"publisher":"Springer Berlin Heidelberg","volume":626,"type":"conference","_id":"10201","status":"public","date_created":"2019-06-07T13:07:39Z","publication_status":"published","author":[{"full_name":"Steffen, Eckhard","last_name":"Steffen","id":"15548","first_name":"Eckhard"}],"year":"1992","user_id":"15540"}