S. Mazanek, C. Rutetzki, and M. Minas. Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), University of Twente, Enschede, The Netherlands, September 28, 2010. Satellite event of ICGT'10, volume 32 of Electronic Communications of the EASST, (2010)