%0 Conference Paper %1 conf/cade/ChoppellaH03 %A Choppella, Venkatesh %A Haynes, Christopher T. %B CADE %D 2003 %E Baader, Franz %I Springer %K dblp %P 458-472 %T Source-Tracking Unification. %U http://dblp.uni-trier.de/db/conf/cade/cade2003.html#ChoppellaH03 %V 2741 %@ 3-540-40559-3

@inproceedings{conf/cade/ChoppellaH03, added-at = {2017-05-21T00:00:00.000+0200}, author = {Choppella, Venkatesh and Haynes, Christopher T.}, biburl = {https://www.bibsonomy.org/bibtex/2f3206b75d5da0f33b09eeff3c8849221/dblp}, booktitle = {CADE}, crossref = {conf/cade/2003}, editor = {Baader, Franz}, ee = {https://doi.org/10.1007/978-3-540-45085-6_39}, interhash = {cb183c7f5d9e9612ea8ae682e585a06f}, intrahash = {f3206b75d5da0f33b09eeff3c8849221}, isbn = {3-540-40559-3}, keywords = {dblp}, pages = {458-472}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:55:13.000+0200}, title = {Source-Tracking Unification.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2003.html#ChoppellaH03}, volume = 2741, year = 2003 }