TY  - RPRT
TI  - Undecidability of satisfiability in the algebra of finite binary relations with union, composition, and difference
AU  - Tony Tan
AU  - Jan Van den Bussche
AU  - Xiaowang Zhang
PY  - 2014
UR  - https://arxiv.org/abs/1406.0349
ID  - 1406.0349
ER  -