Arboretum.hs: Symbolic manipulation for algebras of graphs — Eugen Bronasco, Jean-Luc Falcone, Gilles Vilmart | Kutubxona