Modal Theorem Proving

Zohar Manna
CADE(1986), pp. 172-189

Abstract

Research Areas