@techreport{ReadiNasser2017,
  author    = {Rodrigo Readi-Nasser},
  title     = {An Intuitionistic Approach to Logic Programming},
  institution = {Fachbereich Informatik},
  series    = {Interner Bericht des Fachbereich Informatik},
  number    = {296},
  pages     = {11},
  year      = {2017},
  url  = {http://nbn-resolving.de/urn:nbn:de:hbz:386-kluedo-49983},
}