Text this: Diagnostika programmiruemykh logicheskikh matrit︠s︡ / E.A. Butakov, M.B. Volynskiĭ, V.G. Novoselov.