DMCA

A Proof System for Contact Relation Algebras

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