%0 Journal Article %1 journals/tcs/Rondogiannis01 %A Rondogiannis, Panos %D 2001 %J Theor. Comput. Sci. %K dblp %N 1-2 %P 663-676 %T Stratified negation in temporal logic programming and the cycle-sum test. %U http://dblp.uni-trier.de/db/journals/tcs/tcs254.html#Rondogiannis01 %V 254

@article{journals/tcs/Rondogiannis01, added-at = {2021-02-17T00:00:00.000+0100}, author = {Rondogiannis, Panos}, biburl = {https://www.bibsonomy.org/bibtex/233cd8c971a3df232210dcc2d3c1f9611/dblp}, ee = {https://doi.org/10.1016/S0304-3975(00)00374-1}, interhash = {1f7ea64b257dbf491b343df12c62d95c}, intrahash = {33cd8c971a3df232210dcc2d3c1f9611}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-2}, pages = {663-676}, timestamp = {2024-04-08T18:42:31.000+0200}, title = {Stratified negation in temporal logic programming and the cycle-sum test.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs254.html#Rondogiannis01}, volume = 254, year = 2001 }