The Homogeneous Form of Logic Programs with Equality

William Demopoulos. The Homogeneous Form of Logic Programs with Equality. Notre Dame Journal of Formal Logic, 31(2):291-303, 1990.

Abstract

Abstract is missing.