%0 Journal Article %1 journals/entcs/ReevesS08b %A Reeves, Steve %A Streader, David %D 2008 %J Electron. Notes Theor. Comput. Sci. %K %P 309-329 %T General Refinement, Part Two: Flexible Refinement. %U http://dblp.uni-trier.de/db/journals/entcs/entcs214.html#ReevesS08b %V 214

@article{journals/entcs/ReevesS08b, added-at = {2023-12-13T03:07:39.000+0100}, author = {Reeves, Steve and Streader, David}, biburl = {https://www.bibsonomy.org/bibtex/2e47f3a748188528c5fa93da05916944f/admin}, ee = {https://www.wikidata.org/entity/Q59651692}, interhash = {87cef161dc7c65d86ac0e19ff5ff3149}, intrahash = {e47f3a748188528c5fa93da05916944f}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {}, pages = {309-329}, timestamp = {2023-12-13T03:07:39.000+0100}, title = {General Refinement, Part Two: Flexible Refinement.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs214.html#ReevesS08b}, volume = 214, year = 2008 }