KROENING, Daniel - STRICHMAN, Ofer. Decision procedures : an algorithmic point of view. Berlin : Springer, c2008. Texts in theoretical computer science. An EATCS series. ISBN 978-3-540-74104-6.

Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel.