2005. ‘Constructive CK for contexts (2005)

by V De Paiva, M Mendler
Venue:Proceeding of the Workshop on Context Representation and Reasoning