@article{SLC_2011-2012_65_a0,
     author = {Manuel Kauers},
     title = {How {To} {Use} {Cylindrical} {Algebraic} {Decomposition}},
     journal = {S\'eminaire lotharingien de combinatoire},
     publisher = {mathdoc},
     volume = {65},
     year = {2011-2012},
     url = {http://geodesic.mathdoc.fr/item/SLC_2011-2012_65_a0/}
}