Amar Isli A ternary Relation Algebra of directed lines http://arxiv.org/abs/cs.AI/0307050 2003 CoRR cs.AI/0307050 db/journals/corr/corr0307.html#cs-AI-0307050 informal publication