%0 Journal Article %1 journals/tcs/MarekT98 %A Marek, V. Wiktor %A Truszczynski, Miroslaw %D 1998 %J Theor. Comput. Sci. %K dblp %N 2 %P 241-277 %T Revision Programming. %U http://dblp.uni-trier.de/db/journals/tcs/tcs190.html#MarekT98 %V 190

@article{journals/tcs/MarekT98, added-at = {2021-02-17T00:00:00.000+0100}, author = {Marek, V. Wiktor and Truszczynski, Miroslaw}, biburl = {https://www.bibsonomy.org/bibtex/25a5e7df134211202da9484bc39946bc4/dblp}, ee = {https://doi.org/10.1016/S0304-3975(97)00092-3}, interhash = {852bdcc6a17d11348dc03cef32b8960d}, intrahash = {5a5e7df134211202da9484bc39946bc4}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 2, pages = {241-277}, timestamp = {2024-04-08T18:46:51.000+0200}, title = {Revision Programming.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs190.html#MarekT98}, volume = 190, year = 1998 }