@techreport {TR-1990-018,
   type = {Technical Report},
   author = {Evan Tick, M.Korsloot},
   title = {A Determinacy Testing Algorithm  for Nondeterminate Flat Concurrent Logic Programming Languages},
   institution = {University of Oregon, Computer and Information Sciences Department},
   number = TR-1990-018,
   month = 11,
   year = 1990,
   note = {Available at \url{https://www.cs.uoregon.edu/Reports/TR-1990-018.pdf}},
}