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