10.1093/logcom/10.4.583