Allegories: decidability and graph homomorphisms.

Damien Pous, Valeria Vignudelli

Browse the full LICS paper archive.