Finite Splicing Systems, Logically and Algebraically

Date: