A Semantics for Typed Logic Programs

Patricia M. Hill, Rodney W. Topor. A Semantics for Typed Logic Programs. In Types in Logic Programming. pages 1-62, 1992.

Abstract

Abstract is missing.