DISTRIBUTED MULTI-DESTINATION ROUTING: THE CONSTRAINTS OF LOCAL INFORMATION.Jeffrey M. Jaffe1985SIAM Journal on Computing
IMPLICATION PROBLEM FOR FUNCTIONAL AND INCLUSION DEPENDENCIES IS UNDECIDABLE.A.K. ChandraMoshe Y. Vardi1985SIAM Journal on Computing