Paper  bibtex   

@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}
}