Polymorphically Typed Logic Programs

Eyal Yardeni, Thom W. Frühwirth, Ehud Y. Shapiro. Polymorphically Typed Logic Programs. In ICLP. pages 379-393, 1991.

Abstract

Abstract is missing.