{"citation":{"ieee":"H. Wehrheim, “Refinement in the Presence of Unknowns,” <i>Electr. Notes Theor. Comput. Sci.</i>, pp. 255--264, 2008.","chicago":"Wehrheim, Heike. “Refinement in the Presence of Unknowns.” <i>Electr. Notes Theor. Comput. Sci.</i>, 2008, 255--264. <a href=\"https://doi.org/10.1016/j.entcs.2008.02.023\">https://doi.org/10.1016/j.entcs.2008.02.023</a>.","ama":"Wehrheim H. Refinement in the Presence of Unknowns. <i>Electr Notes Theor Comput Sci</i>. 2008:255--264. doi:<a href=\"https://doi.org/10.1016/j.entcs.2008.02.023\">10.1016/j.entcs.2008.02.023</a>","bibtex":"@article{Wehrheim_2008, title={Refinement in the Presence of Unknowns}, DOI={<a href=\"https://doi.org/10.1016/j.entcs.2008.02.023\">10.1016/j.entcs.2008.02.023</a>}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={2008}, pages={255--264} }","short":"H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 255--264.","apa":"Wehrheim, H. (2008). Refinement in the Presence of Unknowns. <i>Electr. Notes Theor. Comput. Sci.</i>, 255--264. <a href=\"https://doi.org/10.1016/j.entcs.2008.02.023\">https://doi.org/10.1016/j.entcs.2008.02.023</a>","mla":"Wehrheim, Heike. “Refinement in the Presence of Unknowns.” <i>Electr. Notes Theor. Comput. Sci.</i>, 2008, pp. 255--264, doi:<a href=\"https://doi.org/10.1016/j.entcs.2008.02.023\">10.1016/j.entcs.2008.02.023</a>."},"status":"public","title":"Refinement in the Presence of Unknowns","author":[{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"department":[{"_id":"77"}],"publication":"Electr. Notes Theor. Comput. Sci.","date_updated":"2022-01-06T06:59:04Z","type":"journal_article","page":"255--264","year":"2008","user_id":"29719","_id":"3203","date_created":"2018-06-13T09:45:42Z","doi":"10.1016/j.entcs.2008.02.023"}