@techreport{Kolter2017,
  author    = {Robert Kolter},
  title     = {Induction of Linear Temporal Logic Programs},
  institution = {Fachbereich Informatik},
  series    = {Interner Bericht des Fachbereich Informatik},
  number    = {330},
  pages     = {85},
  year      = {2017},
  url  = {http://nbn-resolving.de/urn:nbn:de:hbz:386-kluedo-49817},
}