Introduction to logic programming

          @misc{ scivideos_oai:cds.cern.ch:319152,
            doi = {},
            url = {http://cds.cern.ch/record/319152},
            author = {},
            keywords = {},
            language = {en},
            title = {Introduction to logic programming},
            publisher = {},
            year = {1985},
            month = {jan},
            note = {oai:cds.cern.ch:319152 see, \url{https://scivideos.org/CERN-CDS/oai%3Acds.cern.ch%3A319152}}
          }