@techreport{Seidl97Model,
  author = {Helmut Seidl},
  title = {Model-{C}hecking for {L}_2},
  year = 1997,
  series = {Forschungsbericht},
  volume = {97-18},
  publisher = {Universit\"at Trier, Mathematik/Informatik},
}