Propositional Logic Programming and Type Thoeries

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

Abstract

Abstract is missing.