Vol-1458⫷ Vol-1459 ⫸Vol-1460
urn:nbn:de:0074-1459-0


Vol-1459/paper8⫷Vol-1459/paper13⫸Vol-1459/paper5
Mauro Ferrari 0002Guido FiorinoCamillo Fiorentini

Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations