Proving entailment between conceptual state speci (1988)

by E W Stark
Venue:Theoretical Computer Science