Optimizing conditional logic reasoning within CoLoSS (2009)

by D Hausmann, L Schröder
Venue:In Methods for Modalities, M4M-6, ENTCS