A Finite Relation Algebra with Undecidable Network Satisfaction Problem.

Robin Hirsch A Finite Relation Algebra with Undecidable Network Satisfaction Problem. 547-554 1999 7 Logic Journal of the IGPL 4 http://dx.doi.org/10.1093/jigpal/7.4.547 db/journals/igpl/igpl7.html#Hirsch99