Handbook of satisfiability. Amsterdam : IOS Press, [2009]. ©2009. Frontiers in artificial intelligence and applications : volume 185. ISBN 978-1-58603-929-5.

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