Marcelo Coniglio
Formal (in)consistency, abduction and modalities
2017
with Bueno-Soler Juliana, Carnielli Walter
in: Springer handbook of model-based science, Dordrecht : Springer

2017
with Bueno-Soler Juliana, Carnielli Walter
in: Springer handbook of model-based science, Dordrecht : Springer