diff --git a/pubs/arith-pats/relational-semantics-for-pattern-matching.xopp b/pubs/arith-pats/relational-semantics-for-pattern-matching.xopp
new file mode 100644
index 00000000..8cfc442f
Binary files /dev/null and b/pubs/arith-pats/relational-semantics-for-pattern-matching.xopp differ