ML Anthology

Litvintchouk, Steven D.

1 publications

IJCAI 1977 A Proof-Checker for Dynamic Logic Steven D. Litvintchouk, Vaughan R. Pratt