Vardi. The Implication and Finite Implication Problems for Typed Template Dependencies. ACM Press, 1982, doi:10.1145/588111.588149.