@inproceedings{TeigeFraenzle:TACAS11,
Author = {Teige, Tino and Fränzle, Martin},
Title = {Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems},

Year = {2011},
Volume = {6605},
Pages = {158-172},
Month = {01},
Editor = {Parosh Aziz Abdulla and K. Rustan M. Leino},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Booktitle = {Proceedings of the Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }