Merging Fragments of Classical Logic.

Sun, 01 Jan 2017 00:00:00 +0100

Carlos Caleiro, Sérgio Marcelino , João Marcos :
Merging Fragments of Classical Logic. FroCoS 2017: 298-315