Ronald Fagin David Maier Jeffrey D. Ullman Mihalis Yannakakis Tools for Template Dependencies. 36-59 1983 12 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp12.html#FaginMUY83