Rondogiannis, P. (2001). Stratified negation in temporal logic programming and the cycle-sum test. Theoretical computer science, 254(1), 663-676. https://doi.org/10.1016/S0304-3975(00)00374-1
Citácia podle Chicago (17th ed.)Rondogiannis, P. "Stratified Negation in Temporal Logic Programming and the Cycle-sum Test." Theoretical Computer Science 254, no. 1 (2001): 663-676. https://doi.org/10.1016/S0304-3975(00)00374-1.
Citácia podľa MLA (8th ed.)Rondogiannis, P. "Stratified Negation in Temporal Logic Programming and the Cycle-sum Test." Theoretical Computer Science, vol. 254, no. 1, 2001, pp. 663-676, https://doi.org/10.1016/S0304-3975(00)00374-1.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..