Vol-4243⫷ Vol-4244 ⫸Vol-4245
urn:nbn:de:0074-4244-0


Vol-4244/paper3⫷Vol-4244/paper4⫸Vol-4244/paper5
Mauro FerrariCamillo FiorentiniPaolo Giardini

A proof-search procedure for Kuznetsov-Muravitski Logic