@article{193072, author = "Václavovic, Pavel and Douša, Jan", title = "Backward smoothing for precise GNSS applications", }