A proof system for contact relation algebras (0)

by I Düntsch, E Orlowska
Venue:J. of Philosophical Logic