Modal logic and attribute value structures (1993)

by Patrick Blackburn
Venue:In Diamonds and defaults: Studies in