Kroening, D., & Strichman, O. [ca. 2008]. Decision procedures : an algorithmic point of view. In Texts in theoretical computer science. an EATCS series [Book]. Berlin [u.a.]: Springer.

KROENING, Daniel und STRICHMAN, Ofer, 2008. Decision procedures : an algorithmic point of view. Berlin [u.a.]: Springer. ISBN 3540741046.

Kroening, D., und O. Strichman. „Decision procedures : an algorithmic point of view“. Texts in theoretical computer science. an EATCS series, book, Springer, 2008.

Kroening, Daniel/Strichman, Ofer: Decision procedures : an algorithmic point of view, Berlin [u.a.] 2008.

Kroening, D. und Strichman, O. (2008), Decision procedures : an algorithmic point of view, Texts in theoretical computer science. an EATCS series, Bd. , Springer, Berlin [u.a.].