10.1006/inco.2002.3143 10.1016/j.disc.2006.07.023 10.1080/10236199908808200 10.1016/S0012-365X(99)00254-X 10.1016/0097-3165(78)90068-7 10.1016/S0012-365X(02)00868-3 10.1145/1120582.1120586 10.1007/BF00531434 10.1016/0097-3165(81)90005-4 10.1016/j.tcs.2010.07.019 10.1016/S0012-365X(99)00343-X 10.1006/mben.2000.0151 10.1016/0012-365X(94)00067-1