Proving Entailment Between Conceptual State Specifications (Extended Abstract) (1988)

by Eugene W. Stark
Venue:THEORETICAL COMPUTER SCIENCE
Citations:15 - 0 self