@articleGor2000, Author = {Gorla, G. and Moser, E. and Nebel, W. and Villar, E.}, Title = {System specification experiments on a common benchmark}, Year = {2000}, Month = {01}, type = {article} @COMMENTBibtex file generated on