Andreas, H., & Verdée, P. (2016). Adaptive Proofs for Networks of Partial Structures. In Andreas Holger et Peter Verdée (ed.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics : Trends in Logic (p. p. 17-45). Springer. https://doi.org/10.1007/978-3-319-40220-8_2