%0 Book Section %1 russo00 %A Russo, A. %A Nuseibeh, B. %B Software Engineering and Knowledge Engineering %D 2000 %E Chang, S. K. %I World Scientific Publishing Corporation %K logicProgramming automaticDebugging debugging ruleBasedSystems %T On the Use of Logical Abduction in Software Engineering %U citeseer.ist.psu.edu/russo00use.html

@incollection{russo00, added-at = {2007-01-12T15:02:59.000+0100}, author = {Russo, A. and Nuseibeh, B.}, biburl = {https://www.bibsonomy.org/bibtex/240844ec430b974ee354f30ca7be9851c/vzach}, booktitle = { Software Engineering and Knowledge Engineering }, editor = {Chang, S. K.}, interhash = {020813cc23e751af221859b13d19d062}, intrahash = {40844ec430b974ee354f30ca7be9851c}, keywords = {logicProgramming automaticDebugging debugging ruleBasedSystems}, publisher = {World Scientific Publishing Corporation}, timestamp = {2007-01-12T15:02:59.000+0100}, title = {On the Use of Logical Abduction in Software Engineering}, url = {citeseer.ist.psu.edu/russo00use.html}, year = 2000 }