View-based explicit knowledge (1999)

by R Ramanujam
Venue:Annals of Pure and Applied Logic