@InProceedings{   Pettorossi,
  Author        = "Pettorossi, Alberto",
  date-added    = "2012-08-24 11:43:56 +0200",
  date-modified = "2012-08-24 11:44:16 +0200",
  Keywords      = "rewriting systems",
  Title         = "A property which guarantees termination in weak combinatory logic and subtree replacement systems",
  Year          = "1979",
  File          = "A property which guarantees termination in weak combinatory logic and subtree replacement systems - Pettorossi (0) (0) - a - a - l.pdf"
}

@InProceedings{ Pettorossi, Author = "Pettorossi, Alberto", date-added = "2012-08-24 11:43:56 +0200", date-modified = "2012-08-24 11:44:16 +0200", Keywords = "rewriting systems", Title = "A property which guarantees termination in weak combinatory logic and subtree replacement systems", Year = "1979", File = "A property which guarantees termination in weak combinatory logic and subtree replacement systems - Pettorossi (0) (0) - a - a - l.pdf" }