First-order unification using variable-free relational algebra | Publicación