## Moshe Y. Vardi

*The Implication and Finite Implication Problems for Typed Template Dependencies*

PODS, 1982.

@inproceedings{PODS-1982-Vardi, author = "Moshe Y. Vardi", booktitle = "{Proceedings of the First Symposium on Principles of Database Systems}", cdrom = "['journals/anthology/cd1-3:PODS82/P230.PDF', 'journals/anthology/dvd1:text/1-3/PODS82/P230.PDF']", doi = "10.1145/588111.588149", isbn = "0-89791-070-2", pages = "230--238", publisher = "{ACM}", title = "{The Implication and Finite Implication Problems for Typed Template Dependencies}", year = 1982, }