Simon Cruanes. Superposition with Structural Induction. Clare Dixon; Marcelo Finger.
Frontiers of Combining Systems, Springer, pp.172-188, 2017, 11th International Symposium on Frontiers of Combining Systems - FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, 978-3-319-66166-7.
⟨10.1007/978-3-319-66167-4_10⟩.
⟨hal-02062459⟩