@article{CMUC_1990__31_1_a25,
     author = {Dung, Nguyen Xuang},
     title = {On decidability of skeletal sets {[Abstract} of thesis]},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     publisher = {mathdoc},
     volume = {31},
     number = {1},
     year = {1990},
     zbl = {0727.68056},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1990__31_1_a25/}
}