@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