@techreport {TR-1983-005,
   type = {Technical Report},
   author = {Arthur Farley,  Andrzej Proskurowski},
   title = {Computing the Maximum Order of an Open Irredundant Set in a Tree},
   institution = {University of Oregon, Computer and Information Sciences Department},
   number = TR-1983-005,
   year = 1983,
   note = {Available at \url{https://www.cs.uoregon.edu/Reports/TR-1983-005.pdf}},
}