@inproceedings{25aecd0b8add46c891750811f5725597,
title = "Fundamentals of debugging using a resolution calculus",
author = "Franz Wotawa and Daniel K{\"o}b",
year = "2006",
doi = "10.1007/11693017_21",
language = "English",
isbn = "3-540-33093-3",
volume = "3922",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "278--292",
editor = "Luciano Baresi and Reiko Heckel",
booktitle = "Fundamental Approaches to Software Engineering",
note = "International Conference on Fundamental Approaches to Software Engineering ; Conference date: 27-03-2006 Through 28-03-2006",
}