External Links

    Journal: SIGLOG News

    Volume 9, Issue 1

    5 -- 0Ranko Lazic 0001. Verification column
    6 -- 21C. Aiswarya. How treewidth helps in verification
    22 -- 0Jorge A. Pérez 0001. Conference reports
    23 -- 24Niccolò Veltri. Report on PPDP/LOPSTR 2021
    25 -- 34David Purser. SIGLOG monthly 221
    runs on