@INPROCEEDINGS {40959,
author={S. Marcelino and C. Caleiro and P.  Filipe},
doi={10.1007/978-3-030-93100-1_12},
booktitle={Logical Foundations of Computer Science},
title={Computational Properties of Partial Non-deterministic Matrices and Their Logics},
year={2021},
month={December},
volume={13137},
pages={180-197} 
}