@article{Gor2000,
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}
}
@COMMENT{Bibtex file generated on }