Birštunas, A. . Efficient Loop-Check for Multimodal KD45n Logic. LMR 2021, 47 (spec.), 351–355. https://doi.org/10.15388/LMR.2007.24227.