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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.