Propositional Logic Programming and Type Thoeries

Enn Tyugu. Propositional Logic Programming and Type Thoeries. In SCAI. pages 863-871, 1989.

Possibly Related Publications

The following publications are possibly variants of this publication: