DMCA

Preservation of Craig interpolation (2012)

by C. Sernadas , J. Rasga , A. Sernadas