Per anno

@incollection{ascribingmental-mccarthy1979,
    address = {Brighton},
    apice = {McCarthyAscribingmental1979},
    author = {McCarthy, John},
    booktitle = {Philosophical Perspectives in Artificial Intelligence},
    editor = {Ringle, Martin},
    isbn = {085527901X},
    pages = {161--195},
    publisher = {Harvester Press},
    series = {Harvester Studies in Cognitive Science},
    title = {Ascribing Mental Qualities to Machines},
    url = {https://www-formal.stanford.edu/jmc/ascribing/ascribing.html},
    year = 1979
}

@article{algorithm-cacm22,
    abstract = {The notion that computation = controlled deduction was first proposed by Pay Hayes [19] and more recently by Bibel [2] and Vaughn-Pratt [31]. A similar thesis that database systems should be regarded as consisting of a relational component, which defines the logic of the data, and a control component, which stores and retrieves it, has been successfully argued by Codd [10]. Hewitt's argument [20] for the programming language PLANNER, though generally regarded as an argument against logic, can also be regarded as an argument for the thesis that algorithms be regarded as consisting of both logic and control components. In this paper we shall explore some of the useful consequences of that thesis.},
    apice = {AlgorithmCacm22},
    author = {Robert A. Kowalski},
    doi = {10.1145/359131.359136},
    journal = {Communications of the ACM},
    keywords = {control language, logic programming, nonprocedural language, program specification, programming methodology, relational data structures},
    month = {July},
    number = 7,
    numpages = 13,
    pages = {424--436},
    publisher = {ACM},
    title = {Algorithm = Logic + Control},
    volume = 22,
    year = 1979
}

@article{paradigm-cacm22,
    address = {New York, NY, USA},
    apice = {ParadigmFloyd78},
    author = {Floyd, Robert W.},
    doi = {10.1145/359138.359140},
    journal = {Communications of the ACM},
    month = aug,
    note = {1978 ACM Turing Award Lecture},
    number = 8,
    pages = {455--460},
    publisher = {ACM},
    title = {The Paradigms of Programming},
    url = {https://dl.acm.org/doi/abs/10.1145/359138.3591404},
    urlpdf = {http://dl.acm.org/doi/pdf/10.1145/359138.359140},
    volume = 22,
    year = 1979
}