1: Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell
2: On the Monotonicity of Work Function in k-Server Conjecture
3: Efficient algorithms for the basis of finite Abelian groups
4: Counting Hexagonal Patches and Independent Sets in Circle Graphs