Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts
@article{MV_1974_26_1_a6, author = {\v{Z}. Mijajlovi\'c}, title = {On decidability of one class of boolean formulas}, journal = {Matemati\v{c}ki vesnik}, pages = {48 }, publisher = {mathdoc}, volume = {26}, number = {1}, year = {1974}, url = {http://geodesic.mathdoc.fr/item/MV_1974_26_1_a6/} }
Ž. Mijajlović. On decidability of one class of boolean formulas. Matematički vesnik, Tome 26 (1974) no. 1, p. 48 . http://geodesic.mathdoc.fr/item/MV_1974_26_1_a6/