@TechReport{BurkartCaucalSteffen94,
  author =    "O. Burkart and D. Caucal and B. Steffen",
  title =     "An {E}lementary {B}isimulation {D}ecision {P}rocedure for {A}rbitrary {C}ontext-{F}ree {P}rocesses",
  institution = "RWTH Aachen",
  year =      "1994",
  number =    "AIB-28-1994",
  url =       "http://aib.informatik.rwth-aachen.de/1994/1994-28.ps.gz",
}