@proceedings{EPTCSIWS2010,
 editor = {H{\'e}l{\`e}ne Kirchner and C\'esar Mu{\~{n}}oz },
 title = {{P}roceedings of the International Workshop on Strategies in Rewriting, Proving, and Programming},
 volume = {44},
 series = {Electronic Proceedings in Theoretical Computer Science},
 address = {Edingburgh, UK},
 month = {December},
 year = {2010}
}