Vol-2508⫷ Vol-2509 ⫸Vol-2510
urn:nbn:de:0074-2509-0


Vol-2509/paper2⫷Vol-2509/paper3⫸Vol-2509/paper4
Michal ZawidzkiJoanna Golinska-Pilarek

Tableau-based Decision Procedure for the Logic SCI