@other{Kerber, title = {ForMaRE}, author = {Manfred Kerber and Christoph Lange and Colin Rowat}, url = {http://cs.bham.ac.uk/research/projects/formare/}, urldate = {2013-02-10}, keywords = {}, pubstate = {published}, tppubtype = {other} }