Nonlinear observability algorithms with known and unknown inputs: analysis and implementation. - Nerea Martínez; Alejandro Fernández Villaverde (CoRR, 2020)