DMCA

A Proof System for Contact Relation Algebras

by Ivo Düntsch , Ewa Orlowska
Citations:16 - 12 self