Brünnler and Alwen Fernanto Tiu. A local system for classical logic (2001)

by Kai
Venue:LPAR 2001, volume 2250 of LNAI