Donald Perlis;V. S. Subrahmanian
-;-
Informational Logic as a Tool for Automated Reasoning
Journal of Automated Reasoning
The Knower Paradox in the light of provability interpretations of modal logic
Journal of Logic, Language and Information