Ivan P. Radivojevic Forrest Brewer Symbolic Scheduling Techniques. 224-230 1995 78-D IEICE Trans. Inf. Syst. 3 http://search.ieice.org/bin/summary.php?id=e78-d_3_224 db/journals/ieicet/ieicet78d.html#RadivojevicB95