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,
}