Embedded Implicational Dependencies and their Inference Problem

Ashok K. Chandra, Harry R. Lewis, Johann A. Makowsky. Embedded Implicational Dependencies and their Inference Problem. In Conference Proceedings of the Thirteenth Annual ACM Symposium on Theory of Computation, 11-13 May 1981, Milwaukee, Wisconsin, USA. pages 342-354, ACM, 1981.

Abstract

Abstract is missing.