Nikitchenko, Mykola and Tymofieiev, Valentyn. "Satisfiability in composition-nominative logics" Open Computer Science, vol. 2, no. 3, 2012, pp. 194-213. https://doi.org/10.2478/s13537-012-0027-3
Nikitchenko, M. & Tymofieiev, V. (2012). Satisfiability in composition-nominative logics. Open Computer Science, 2(3), 194-213. https://doi.org/10.2478/s13537-012-0027-3
Nikitchenko, M. and Tymofieiev, V. (2012) Satisfiability in composition-nominative logics. Open Computer Science, Vol. 2 (Issue 3), pp. 194-213. https://doi.org/10.2478/s13537-012-0027-3
Nikitchenko, Mykola and Tymofieiev, Valentyn. "Satisfiability in composition-nominative logics" Open Computer Science 2, no. 3 (2012): 194-213. https://doi.org/10.2478/s13537-012-0027-3
