%0 Book %1 deraedt92 %A Raedt, L. Da %D 1992 %I Academic Press, London %K automaticDebugging debugging theoryRevision %T Interactive Theory Revision

@book{deraedt92, added-at = {2007-01-12T14:16:21.000+0100}, author = {Raedt, L. Da}, biburl = {https://www.bibsonomy.org/bibtex/22bf6c15ce88a0f657ac8509cc9702bdd/vzach}, interhash = {ec7d32988279cc07caeb09b1e4ad17cf}, intrahash = {2bf6c15ce88a0f657ac8509cc9702bdd}, keywords = {automaticDebugging debugging theoryRevision}, publisher = {Academic Press, London}, timestamp = {2007-01-12T14:16:21.000+0100}, title = {Interactive Theory Revision}, year = 1992 }