A Local System for Classical Logic (2001)

by Kai Brünnler , Alwen Fernanto Tiu , Technische Universität Dresden Fakultät Informatik
Venue:of Lecture Notes in Artificial Intelligence
Citations:30 - 6 self