Towards algebraic graph-based model theory for computer science (1997)

by Z Diskin
Venue:Bulletin of Symbolic Logic