Shensa, M. J.

1 publications

IJCAI 1989 A Computational Structure for the Propositional Calculus M. J. Shensa