Blai Bonet, Patrik Haslum, Victor Khomenko, Sylvie Thiébaux, Walter Vogler. Recent advances in unfolding technique. Theoretical Computer Science, 551:84-101, 2014. [doi]
@article{BonetHKTV14, title = {Recent advances in unfolding technique}, author = {Blai Bonet and Patrik Haslum and Victor Khomenko and Sylvie Thiébaux and Walter Vogler}, year = {2014}, doi = {10.1016/j.tcs.2014.07.003}, url = {http://dx.doi.org/10.1016/j.tcs.2014.07.003}, researchr = {https://researchr.org/publication/BonetHKTV14}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {551}, pages = {84-101}, }