%0 Conference Paper %1 conf/cade/AlpuenteBER11 %A Alpuente, María %A Ballis, Demis %A Espert, Javier %A Romero, Daniel %B CADE %D 2011 %E Bjørner, Nikolaj S. %E Sofronie-Stokkermans, Viorica %I Springer %K dblp %P 34-48 %T Backward Trace Slicing for Rewriting Logic Theories. %U http://dblp.uni-trier.de/db/conf/cade/cade2011.html#AlpuenteBER11 %V 6803 %@ 978-3-642-22437-9

@inproceedings{conf/cade/AlpuenteBER11, added-at = {2018-11-14T00:00:00.000+0100}, author = {Alpuente, María and Ballis, Demis and Espert, Javier and Romero, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2aaef6e0e641d520ab0c81ee1893887b8/dblp}, booktitle = {CADE}, crossref = {conf/cade/2011}, editor = {Bjørner, Nikolaj S. and Sofronie-Stokkermans, Viorica}, ee = {https://www.wikidata.org/entity/Q57978148}, interhash = {403adf09031bc6bda33f4f857b504333}, intrahash = {aaef6e0e641d520ab0c81ee1893887b8}, isbn = {978-3-642-22437-9}, keywords = {dblp}, pages = {34-48}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:54:57.000+0200}, title = {Backward Trace Slicing for Rewriting Logic Theories.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2011.html#AlpuenteBER11}, volume = 6803, year = 2011 }