@TechReport{      Raskin,
  Author        = "Raskin, Jean-Fran{\c c}ois and Samuelides, Mathias and Begin, Laurent Van",
  date-added    = "2013-03-27 16:08:22 +0000",
  date-modified = "2013-03-27 16:09:32 +0000",
  Keywords      = "well-structured transition systems",
  Title         = "Petri Games are Monotonic but Difficult to Decide",
  Year          = "2003",
  File          = "Petri Games are Monotonic but Difficult to Decide - Raskin, Samuelides, Begin (0) (0) - a - a - z.pdf",
  file-2        = "Petri Games are Monotonic but Difficult to Decide - Raskin, Samuelides, Begin (0) (0) - a - a - z.ps"
}

@TechReport{ Raskin, Author = "Raskin, Jean-Fran{\c c}ois and Samuelides, Mathias and Begin, Laurent Van", date-added = "2013-03-27 16:08:22 +0000", date-modified = "2013-03-27 16:09:32 +0000", Keywords = "well-structured transition systems", Title = "Petri Games are Monotonic but Difficult to Decide", Year = "2003", File = "Petri Games are Monotonic but Difficult to Decide - Raskin, Samuelides, Begin (0) (0) - a - a - z.pdf", file-2 = "Petri Games are Monotonic but Difficult to Decide - Raskin, Samuelides, Begin (0) (0) - a - a - z.ps" }