Computer Science â€" Theory and Applications - Bulatov (Springer Berlin Heidelberg, 2013)